The CASN Demonstration Site

Within the SymbolicData Project the CASN subproject – Computer Algebra Social Network – is a first pitch of a “Facebook like“ communication infrastructure about the scientific activities within the CA community using a modern RDF based "Web 2.0" approach. We refer to our wiki for more information about CASN goal and concepts.

CA Systems

This is an experimental listing compiled from our store, part of swmath and from the SIGSAM system's page.

CA System: ACE

swMath Link: http://www.swmath.org/software/15066
Related Papers:
Related Software: ACE , Maple, SF, SCHUR, SYMMETRICA, SFA, MACSYMA
SIGSAM Link: http://www.sigsam.org/software/ace.html
Summary: a Maple library providing tools useful in algebraic combinatorics.
SD Entry: http://symbolicdata.org/Data/System/ace

Description: ACE (Algebraic Combinatorics Environment). ACE is a Maple library which includes packages providing combinatorial tools useful in algebraic combinatorics. Functions are mostly related to the symmetric group and handle such objects as partitions, compositions, permutations, words, Young tableaux, divided differences, (non-commutative) symmetric functions and Schubert polynomials. Computer algebra system (CAS).
Author(s): S. Veigneau
URL: http://phalanstere.univ-mlv.fr/~ace/
Source: sigsam_29.csv from SIGSAM

Description: ACE (Algebraic Combinatorics Environment). ACE is a Maple library which includes packages providing combinatorial tools useful in algebraic combinatorics. Functions are mostly related to the symmetric group and handle such objects as partitions, compositions, permutations, words, Young tableaux, divided differences, (non-commutative) symmetric functions and Schubert polynomials.
Author(s): S. Veigneau
URL: http://phalanstere.univ-mlv.fr/~ace/
Source: http://www.swmath.org/software/15066

CA System: ANUNQ

SIGSAM Link: http://www.sigsam.org/software/anunq.html
Summary: A GAP package for the computation of nilpotent factor groups of finitely presented groups.
SD Entry: http://symbolicdata.org/Data/System/anunq

No description available

CA System: ANUPQ

swMath Link: http://www.swmath.org/software/6682
Related Papers:
Related Software: GAP, ANUPQ, Macaulay2, SCSCP, Maple, SageMath, MuPAD, AutPGrp, GHC, Symgrid, CHEVIE, SmallGroups Library, GroupExt, KANT/KASH, Fwtree, GrpConst, SglPPow, Magma
SIGSAM Link: http://www.sigsam.org/software/anupq.html
Summary: An interactive interface to the p-quotient, p-group generation and standard presentation algorithms of the ANU pq C program.
SD Entry: http://symbolicdata.org/Data/System/anupq

Description: ANUPQ: A GAP 4 package. The ANUPQ package provides an interactive interface to the p-quotient, p-group generation and standard presentation algorithms of the ANU pq C program. It has been tested on Linux, Mac OS X and Windows (using Cygwin), and more generally should work on any Unix compatible operating system. Computer algebra system (CAS).
Author(s): M.F. Newman, E.A. O'Brien
URL: http://www.gap-system.org/Packages/anupq.html
Source: sigsam_29.csv from SIGSAM

Description: ANUPQ: A GAP 4 package. The ANUPQ package provides an interactive interface to the p-quotient, p-group generation and standard presentation algorithms of the ANU pq C program. It has been tested on Linux, Mac OS X and Windows (using Cygwin), and more generally should work on any Unix compatible operating system.
Author(s): M.F. Newman, E.A. O'Brien
URL: http://www.gap-system.org/Packages/anupq.html
Source: http://www.swmath.org/software/6682

CA System: AlPI

swMath Link: http://www.swmath.org/software/34
Related Papers:
Related Software:
SD Entry: http://symbolicdata.org/Data/System/alpi

No description available

CA System: Albert

swMath Link: http://www.swmath.org/software/15065
Related Papers:
Related Software: Albert, GAP, GitHub, GBNP, Isabelle
SIGSAM Link: http://www.sigsam.org/software/albert.html
Summary: An interactive program to assist the specialist in the study of nonassociative algebras.
SD Entry: http://symbolicdata.org/Data/System/albert

Description: The Albert nonassociative algebra system: A progress report. After four years of experience with the nonassociative algebra program Albert, we highlight its successes and drawbacks. Among its successes are the discovery of several new results in nonassociative algebra. Each of these results has been independently verified - either with a traditional mathematical proof or with an independent computation. Computer algebra system (CAS).
Author(s): David P. Jacobs
URL: http://dl.acm.org/citation.cfm?id=190358
Source: sigsam_29.csv from SIGSAM

Description: The Albert nonassociative algebra system: A progress report. After four years of experience with the nonassociative algebra program Albert, we highlight its successes and drawbacks. Among its successes are the discovery of several new results in nonassociative algebra. Each of these results has been independently verified - either with a traditional mathematical proof or with an independent computation.
Author(s): David P. Jacobs
URL: http://dl.acm.org/citation.cfm?id=190358
Source: http://www.swmath.org/software/15065

CA System: Axiom

swMath Link: http://www.swmath.org/software/63
Related Papers:
Related Software: AXIOM, Maple, Mathematica, REDUCE, MACSYMA, SINGULAR, Magma, Coq, ALDOR, PVS, DERIVE, MuPAD, JAS, Isabelle, IBM Scratchpad, Macaulay2, CAS/PI, Analytica, SageMath, Orbital library, Maxima
SIGSAM Link: http://www.sigsam.org/software/axiom.html
Summary: A general-purpose, strongly typed, computer algebra system.
SD Entry: http://symbolicdata.org/Data/System/axiom

Description: The Scientific Computation System
URL: http://axiom-developer.org/
Source: http://fachgruppe-computeralgebra.de/systeme#Axiom

Description: Axiom is a general purpose Computer Algebra system (CAS). It is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler
URL: http://axiom-developer.org/
Source: sigsam_29.csv from SIGSAM

Description: Axiom is a general purpose Computer Algebra system (CAS). It is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler
URL: http://axiom-developer.org/
Source: http://www.swmath.org/software/63

CA System: CALI

swMath Link: http://www.swmath.org/software/7761
Related Papers:
Related Software: CALI, REDUCE, SEGRE, CoCoA, SINGULAR, Plural, ncfactor.lib, fgbg.lib, Macaulay2
SIGSAM Link: http://www.sigsam.org/software/cali.html
Summary: A REDUCE package for computational commutative algebra.
SD Entry: http://symbolicdata.org/Data/System/cali

Description: CALI - a REDUCE package for commutative algebra. This package contains algorithms for computations in commutative algebra closely related to the Gröbner algorithm for ideals and modules. Its heart is a new implementation of the Gröbner algorithm that allows the computation of syzygies, too. This implementation is also applicable to submodules of free modules with generators represented as rows of a matrix. Computer algebra system (CAS).
Author(s): Hans-Gert Gräbe
URL: http://reduce-algebra.com/docs/cali.pdf
Source: sigsam_29.csv from SIGSAM

Description: CALI - a REDUCE package for commutative algebra. This package contains algorithms for computations in commutative algebra closely related to the Gröbner algorithm for ideals and modules. Its heart is a new implementation of the Gröbner algorithm that allows the computation of syzygies, too. This implementation is also applicable to submodules of free modules with generators represented as rows of a matrix.
Author(s): Hans-Gert Gräbe
URL: http://reduce-algebra.com/docs/cali.pdf
Source: http://www.swmath.org/software/7761

CA System: CARAT

SD Entry: http://symbolicdata.org/Data/System/carat

Description: Crystallographic AlgoRithms And Tables
Author(s): Wilhelm Plesken
URL: http://wwwb.math.rwth-aachen.de/carat
Source: http://fachgruppe-computeralgebra.de/systeme#CARAT

CA System: CASA

SIGSAM Link: http://www.sigsam.org/software/casa.html
Summary: A Computer Algebra System for Algebraic Geometry.
SD Entry: http://symbolicdata.org/Data/System/casa

No description available

CA System: CHEVIE

swMath Link: http://www.swmath.org/software/4235
Related Papers:
Related Software: CHEVIE, GAP, Maple, Magma, SageMath, Coxeter, SINGULAR, ATLAS Group Representations, PyCox, ZigZag, LiE, OEIS, Sage-Combinat, MeatAxe, ML , SCSCP, Macaulay2, ANUPQ, REPSN, GHC, Mathematica
SIGSAM Link: http://www.sigsam.org/software/chevie.html
Summary: A computer algebra system for symbolic calculations with generic character tables of groups.
SD Entry: http://symbolicdata.org/Data/System/chevie

Description: Generic character tables of groups of Lie type
Author(s): Meinolf Geck, Gerhard Hiß, Frank Lübeck, Gunter Malle, Jean Michel, Götz Pfeiffer
URL: http://www.math.rwth-aachen.de/homes/CHEVIE
Source: http://fachgruppe-computeralgebra.de/systeme#CHEVIE

Description: CHEVIE is a computer algebra project for symbolic calculations with generic character tables of groups of Lie type, Coxeter groups, Iwahori-Hecke algebras and other related structures. It is based on the computer algebra systems GAP, and MAPLE. Computer algebra system (CAS).
Author(s): Meinolf Geck, Gerhard Hiß, Frank Lübeck, Gunter Malle, Götz Pfeiffer
URL: http://www.math.rwth-aachen.de/~CHEVIE/
Source: sigsam_29.csv from SIGSAM

Description: CHEVIE is a computer algebra project for symbolic calculations with generic character tables of groups of Lie type, Coxeter groups, Iwahori-Hecke algebras and other related structures. It is based on the computer algebra systems GAP, and MAPLE.
Author(s): Meinolf Geck, Frank Lübeck, Gunter Malle, Götz Pfeiffer
URL: http://www.math.rwth-aachen.de/~CHEVIE/
Source: http://www.swmath.org/software/4235

CA System: Cabri

SD Entry: http://symbolicdata.org/Data/System/cabri

No description available

CA System: CoCoA

swMath Link: http://www.swmath.org/software/143
Related Papers:
Related Software: CoCoA, Macaulay2, SINGULAR, CoCoALib, Maple, Mathematica, Magma, Normaliz, 4ti2, Cinderella, Lugares, SageMath, REDUCE, PHCpack, Geometer', 8, Gfan, ApCoCoA, MuPAD, polymake, GAP, webDiscovery
SIGSAM Link: http://www.sigsam.org/software/cocoa.html
Summary: A computer algebra system for doing computations in Commutative Algebra.
SD Entry: http://symbolicdata.org/Data/System/cocoa

Description: Computations in Commutative Algebra
Author(s): John Abbott, Anna M. Bigatti, Massimo Caboara, Martin Kreuzer, Lorenzo Robbiano
URL: http://cocoa.dima.unige.it
Source: http://fachgruppe-computeralgebra.de/systeme#CoCoA

Description: CoCoA is a system for Computations in Commutative Algebra. It is able to perform simple and sophisticated operations on multivaraiate polynomials and on various data related to them (ideals, modules, matrices, rational functions). For example, it can readily compute Grobner bases, syzygies and minimal free resolution, intersection, division, the radical of an ideal, the ideal of zero-dimensional schemes, Poincare' series and Hilbert functions, factorization of polynomials, toric ideals. The capabilities of CoCoA and the flexibility of its use are further enhanced by the dedicated high-level programming language. For convenience, the system offers a textual interface, an Emacs mode, and a graphical user interface common to most platforms. Computer algebra system (CAS).
Produced by: CoCoa-Team
URL: http://cocoa.dima.unige.it
Source: sigsam_29.csv from SIGSAM

Description: CoCoA is a system for Computations in Commutative Algebra. It is able to perform simple and sophisticated operations on multivaraiate polynomials and on various data related to them (ideals, modules, matrices, rational functions). For example, it can readily compute Grobner bases, syzygies and minimal free resolution, intersection, division, the radical of an ideal, the ideal of zero-dimensional schemes, Poincare' series and Hilbert functions, factorization of polynomials, toric ideals. The capabilities of CoCoA and the flexibility of its use are further enhanced by the dedicated high-level programming language. For convenience, the system offers a textual interface, an Emacs mode, and a graphical user interface common to most platforms.
URL: http://cocoa.dima.unige.it
Source: http://www.swmath.org/software/143

CA System: DISCRETA

SD Entry: http://symbolicdata.org/Data/System/discreta

Description: A program to construct t-designs with prescribed automorphism group
Author(s): Anton Betten, Evi Haberberger, Reinhard Laue, Alfred Wassermann
Produced by: Uni Bayreuth
URL: http://www.mathe2.uni-bayreuth.de/discreta
Source: http://fachgruppe-computeralgebra.de/systeme#DISCRETA

CA System: Derive

SD Entry: http://symbolicdata.org/Data/System/derive

Description: Weiterentwicklung wurde 2007 eingestellt
Source: http://fachgruppe-computeralgebra.de/systeme#Derive

CA System: EinS

swMath Link: http://www.swmath.org/software/9354
Related Papers:
Related Software: EinS, EXCALC, MathTensor, REDUCE, Mathematica, Cadabra, Redten, Riegeom, Maple, GRTensorII, TeXmacs, SHEEP, STL, ATENSOR, FORM , PROCRUSTES, MuPAD, CARTAN
SIGSAM Link: http://www.sigsam.org/software/eins.html
Summary: A Mathematica package allowing one to perform symbolic calculations with indexed objects.
SD Entry: http://symbolicdata.org/Data/System/eins

Description: EinS is a Mathematica package allowing one to perform operations with indexed objects, which may or may not be tensors. The main application field of EinS is computations with indexed objects involving implicit (Einstein) summations (EinS stands for "Einstein Summation handler"). The idea of the package was to create a simple (EinS is a relatively small package consisting of approximately 3000 lines of code), flexible package which would be easy to alter for solving any problem involving indexed objects and which would not waste time for doing anything we do not ask it to do (the latter is usual fate of the users of too general software). On the other hand, package works under Mathematica which is one of the most advanced and flexible computer algebra systems. This allows the user to employ all the power of Mathematica for solving his problem. In order to work with EinS user should have basic knowledge of the Mathematica's control structures and language. Computer algebra system (CAS).
Author(s): S.A. Klioner
URL: http://rcswww.urz.tu-dresden.de/~klioner/eins.html
Source: sigsam_29.csv from SIGSAM

Description: EinS is a Mathematica package allowing one to perform operations with indexed objects, which may or may not be tensors. The main application field of EinS is computations with indexed objects involving implicit (Einstein) summations (EinS stands for "Einstein Summation handler"). The idea of the package was to create a simple (EinS is a relatively small package consisting of approximately 3000 lines of code), flexible package which would be easy to alter for solving any problem involving indexed objects and which would not waste time for doing anything we do not ask it to do (the latter is usual fate of the users of too general software). On the other hand, package works under Mathematica which is one of the most advanced and flexible computer algebra systems. This allows the user to employ all the power of Mathematica for solving his problem. In order to work with EinS user should have basic knowledge of the Mathematica's control structures and language.
Author(s): S.A. Klioner
URL: http://rcswww.urz.tu-dresden.de/~klioner/eins.html
Source: http://www.swmath.org/software/9354

CA System: Felix

swMath Link: http://www.swmath.org/software/1048
Related Papers:
Related Software: Felix, Plural, SINGULAR, Macaulay2, BERGMAN, CoCoA, Magma, GBNP, MAS, REDUCE, ASYS, GAP, Kan, QuaGroup, Opal, NCAlgebra, NCPOLY, Mgfun, NCGB, ANICK, slimgb
SIGSAM Link: http://www.sigsam.org/software/felix.html
Summary: A special computer algebra system for the computation in commutative and non-commutative rings and modules.
SD Entry: http://symbolicdata.org/Data/System/felix

Description: Special computer algebra system (CAS) 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 basic ideal operations. Felix provides a complete programming language which in standard mode is interpreted but also on-line compiler and linker are included. Computer algebra system (CAS).
Author(s): Joachim Apel, Uwe Klaus
URL: http://felix.hgb-leipzig.de/
Source: sigsam_29.csv from SIGSAM

Description: Special computer algebra system (CAS) 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 basic ideal operations. Felix provides a complete programming language which in standard mode is interpreted but also on-line compiler and linker are included.
Author(s): Joachim Apel, Uwe Klaus
URL: http://felix.hgb-leipzig.de/
Source: http://www.swmath.org/software/1048

CA System: Fermat

swMath Link: http://www.swmath.org/software/277
Related Papers:
Related Software: Fermat, Axodraw, Maple, MATAD, HarmonicSums, FORM , Mincer, GiNaC, FeynArts, JaxoDraw, Reduze, LIEPDE, GitHub, PYTHIA8, Octave, PHEGAS, RANLUX, FIRE5, FastJet, XSadd, MTToolBox
SIGSAM Link: http://www.sigsam.org/software/fermat.html
Summary: A computer algebra system oriented towards polynomial and matrix algebra over the rationals and finite fields.
SD Entry: http://symbolicdata.org/Data/System/fermat

Description: Fermat is a computer algebra system (CAS) for Macintosh, Windows, Linux, and Unix by me, Robert H. Lewis of Fordham University, that does arithmetic of arbitrarily long integers and fractions, multivariate polynomials, symbolic calculations, matrices over polynomial rings, graphics, and other numerical calculations. It is extremely fast and extremely economical of space. The main version that I care most about is oriented toward polynomial and matrix algebra over the rationals Q and finite fields. On the Mac side, there are versions for OS X and old versions for OS 9. There are 64 bit versions. There is an old "float" version for graphics (no longer usable) and some new float versions (no graphics). All versions are available here.
Author(s): Robert H. Lewis
URL: http://www.bway.net/~lewis/
Source: sigsam_29.csv from SIGSAM

Description: Fermat is a computer algebra system (CAS) for Macintosh, Windows, Linux, and Unix by me, Robert H. Lewis of Fordham University, that does arithmetic of arbitrarily long integers and fractions, multivariate polynomials, symbolic calculations, matrices over polynomial rings, graphics, and other numerical calculations. It is extremely fast and extremely economical of space. The main version that I care most about is oriented toward polynomial and matrix algebra over the rationals Q and finite fields. On the Mac side, there are versions for OS X and old versions for OS 9. There are 64 bit versions. There is an old "float" version for graphics (no longer usable) and some new float versions (no graphics). All versions are available here.
Author(s): Robert H. Lewis
URL: http://www.bway.net/~lewis/
Source: http://www.swmath.org/software/277

CA System: FeynArts

swMath Link: http://www.swmath.org/software/6474
Related Papers:
Related Software: FeynArts, FormCalc, MadGraph, Mathematica, CutTools, FeynCalc, LoopTools, FORM , FeynRules, GoSam, FeynHiggs, CompHep, CalcHEP, SHERPA, Spheno, SOFTSUSY, LanHEP, PHEGAS, BlackHat, SARAH, MC@NLO
SIGSAM Link: http://www.sigsam.org/software/feynarts.html
Summary: A Mathematica package for the generation and visualization of Feynman diagrams and amplitudes.
SD Entry: http://symbolicdata.org/Data/System/feynarts

Description: FeynArts is a Mathematica package for the generation and visualization of Feynman diagrams and amplitudes. It started out in 1990 as a Macsyma code written by Hagen Eck and Sepp Küblbeck which could produce tree-level and one-loop diagrams in the Standard Model [Kü90], but soon got ported to the Mathematica platform. In 1995, Hagen Eck designed the second version to be a fully general diagram generator. To achieve this, he implemented some decisive new ideas [Eck95], the most important one being the generation of diagrams in three levels. The program was taken up again in 1998 by Thomas Hahn who developed version 2.2. The well-designed conceptual framework was kept, but the actual code was reprogrammed almost entirely to make it more efficient and a user-friendly topology editor was added. The current version 3 features a completely new rendering engine for PostScript and LATEX, together with full support of the Mathematica Frontend’s graphical capabilities. It is also no longer dependent on the X platform for topology editing. Computer algebra system (CAS).
Author(s): Hagen Eck, Sepp Küblbeck
URL: http://www.feynarts.de/
Source: sigsam_29.csv from SIGSAM

Description: FeynArts is a Mathematica package for the generation and visualization of Feynman diagrams and amplitudes. It started out in 1990 as a Macsyma code written by Hagen Eck and Sepp Küblbeck which could produce tree-level and one-loop diagrams in the Standard Model [Kü90], but soon got ported to the Mathematica platform. In 1995, Hagen Eck designed the second version to be a fully general diagram generator. To achieve this, he implemented some decisive new ideas [Eck95], the most important one being the generation of diagrams in three levels. The program was taken up again in 1998 by Thomas Hahn who developed version 2.2. The well-designed conceptual framework was kept, but the actual code was reprogrammed almost entirely to make it more efficient and a user-friendly topology editor was added. The current version 3 features a completely new rendering engine for PostScript and LATEX, together with full support of the Mathematica Frontend’s graphical capabilities. It is also no longer dependent on the X platform for topology editing.
Author(s): Hagen Eck, Sepp Küblbeck
URL: http://www.feynarts.de/
Source: http://www.swmath.org/software/6474

CA System: FriCAS

swMath Link: http://www.swmath.org/software/5860
Related Papers:
Related Software: FriCAS, Asymptote, IBM Scratchpad, HAP, AXIOM
SD Entry: http://symbolicdata.org/Data/System/fricas

No description available

CA System: GAP

swMath Link: http://www.swmath.org/software/320
Related Papers:
Related Software: GAP, Magma, CHEVIE, SageMath, ATLAS Group Representations, nauty, GRAPE , Maple, SINGULAR, numericalsgps, LOOPS , Mathematica, OEIS, HAP, Macaulay2, GAP Character Table Library, MeatAxe, polymake, Mace4, DESIGN, CTblLib
SIGSAM Link: http://www.sigsam.org/software/gap.html
Summary: A System for Computational Discrete Algebra.
SD Entry: http://symbolicdata.org/Data/System/gap

Description: Groups, Algorithms, Programming - a System for Computational Discrete Algebra
URL: http://www.gap-system.org
Source: http://fachgruppe-computeralgebra.de/systeme#GAP

Description: GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large data libraries of algebraic objects. See also the overview and the description of the mathematical capabilities. GAP is used in research and teaching for studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more. The system, including source, is distributed freely. You can study and easily modify or extend it for your special use. Computer algebra system (CAS).
Produced by: GAP Group
URL: http://www.gap-system.org/
Source: sigsam_29.csv from SIGSAM

Description: GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large data libraries of algebraic objects. See also the overview and the description of the mathematical capabilities. GAP is used in research and teaching for studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more. The system, including source, is distributed freely. You can study and easily modify or extend it for your special use.
URL: http://www.gap-system.org/
Source: http://www.swmath.org/software/320

CA System: GB

swMath Link: http://www.swmath.org/software/324
Related Papers:
Related Software: Gb, Magma, SINGULAR, Macaulay2, FGb, Maple, finvar.lib, Risa/Asir, LINLBF, CRACK, symmetry, KELLEY, IML++, Mgfun, REDUCE, symrcm, moregroebner, Catfact, Symmetry in Chaos, CoCoA, UMFPACK
SD Entry: http://symbolicdata.org/Data/System/gb

No description available

CA System: GRAPE

swMath Link: http://www.swmath.org/software/7516
Related Papers:
Related Software: GRAPE , GAP, nauty, Magma, DESIGN, Traces, DISCRETA, SageMath, FinInG, SetOrbit, LOOPS , Cliquer, coco, OEIS, SDPT3, Python, Mathematica, MINION, GitHub, GRAPH, lpSolve
SIGSAM Link: http://www.sigsam.org/software/grape.html
Summary: A GAP package for constructing and analysing graphs related to groups, finite geometries, and designs.
SD Entry: http://symbolicdata.org/Data/System/grape

Description: GRAPE is a GAP package for computing with graphs and groups, and is primarily designed for constructing and analysing graphs related to groups, finite geometries, and designs. The vast majority of GRAPE functions are written entirely in the GAP language, except for the automorphism group and isomorphism testing functions, which use Brendan McKay's nauty package. Computer algebra system (CAS).
Author(s): Leonard H. Soicher
URL: http://www.maths.qmul.ac.uk/~leonard/grape/
Source: sigsam_29.csv from SIGSAM

Description: GRAPE is a GAP package for computing with graphs and groups, and is primarily designed for constructing and analysing graphs related to groups, finite geometries, and designs. The vast majority of GRAPE functions are written entirely in the GAP language, except for the automorphism group and isomorphism testing functions, which use Brendan McKay's nauty package.
Author(s): Leonard H. Soicher
URL: http://www.maths.qmul.ac.uk/~leonard/grape/
Source: http://www.swmath.org/software/7516

CA System: GUAVA

swMath Link: http://www.swmath.org/software/7729
Related Papers:
Related Software: GUAVA, GAP, Magma, SageMath, SINGULAR, nauty, toric, Maple, SONATA, McEliece, Mathematica, Traces, OEIS, Q-extension, LDPC
SIGSAM Link: http://www.sigsam.org/software/guava.html
Summary: A GAP package for computing with error-correcting codes.
SD Entry: http://symbolicdata.org/Data/System/guava

Description: GUAVA is a GAP package for computing with codes. GUAVA can construct unrestricted (non-linear), linear and cyclic codes; transform one code into another (for example by puncturing); construct a new code from two other codes (using direct sums for example); perform decoding/error-correction; and can calculate important data of codes (such as the minumim distance or covering radius) quickly. Limited ability to compute algebraic geometric codes. Computer algebra system (CAS).
Author(s): Reinald Baart, Tom Boothby, Jasper Cramwinckel, Joe Fields, David Joyner, Robert Miller, Eric Minkes, Erik Roijackers, Lea Ruscio, Cen Tjhai
URL: http://www.gap-system.org/Packages/guava.html
Source: sigsam_29.csv from SIGSAM

Description: GUAVA is a GAP package for computing with codes. GUAVA can construct unrestricted (non-linear), linear and cyclic codes; transform one code into another (for example by puncturing); construct a new code from two other codes (using direct sums for example); perform decoding/error-correction; and can calculate important data of codes (such as the minumim distance or covering radius) quickly. Limited ability to compute algebraic geometric codes.
Author(s): Reinald Baart, Tom Boothby, Jasper Cramwinckel, Joe Fields, David Joyner, Robert Miller, Eric Minkes, Erik Roijackers, Lea Ruscio, Cen Tjhai
URL: http://www.gap-system.org/Packages/guava.html
Source: http://www.swmath.org/software/7729

CA System: GeoGebra

SD Entry: http://symbolicdata.org/Data/System/geogebra

No description available

CA System: GiNaC

swMath Link: http://www.swmath.org/software/1609
Related Papers:
Related Software: GiNaC, FORM , Reduze, HPL, FIRE, Nestedsums, Mathematica, LiteRed, FIESTA, Asymptote, Axodraw, Maple, GiNaC-cycle, Noweb, xloops, Python, NTL, REDUCE, sunem, CLN, Mincer
SIGSAM Link: http://www.sigsam.org/software/ginac.html
Summary: A system to allow the creation of integrated systems that embed symbolic manipulations together with more established areas of computer science.
SD Entry: http://symbolicdata.org/Data/System/ginac

Description: GiNaC is a C++ library. It is designed to allow the creation of integrated systems that embed symbolic manipulations together with more established areas of computer science (like computation- intense numeric applications, graphical interfaces, etc.) under one roof. It is distributed under the terms and conditions of the GNU general public license (GPL). GiNaC is an iterated and recursive acronym for GiNaC is Not a CAS, where CAS stands for Computer Algebra System. It has been specifically developed to become a replacement engine for xloops which is up to now powered by the Maple CAS. However, it is not restricted to high energy physics applications. 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. Perplexed? Feel free to read this paper which describes the philosophy behind GiNaC in more detail. It also addresses some design principles and questions of efficiency, although some implementation details have changed since it was written.
Produced by: European Patent Office (EPO)
URL: http://www.ginac.de/
Source: sigsam_29.csv from SIGSAM

Description: GiNaC is a C++ library. It is designed to allow the creation of integrated systems that embed symbolic manipulations together with more established areas of computer science (like computation- intense numeric applications, graphical interfaces, etc.) under one roof. It is distributed under the terms and conditions of the GNU general public license (GPL). GiNaC is an iterated and recursive acronym for GiNaC is Not a CAS, where CAS stands for Computer Algebra System. It has been specifically developed to become a replacement engine for xloops which is up to now powered by the Maple CAS. However, it is not restricted to high energy physics applications. 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. Perplexed? Feel free to read this paper which describes the philosophy behind GiNaC in more detail. It also addresses some design principles and questions of efficiency, although some implementation details have changed since it was written.
URL: http://www.ginac.de/
Source: http://www.swmath.org/software/1609

CA System: JAS

SD Entry: http://symbolicdata.org/Data/System/jas

Description: Java based version of MAS, an experimental computer algebra system
Author(s): Heinz Kredel
URL: http://krum.rz.uni-mannheim.de/jas
Source: http://fachgruppe-computeralgebra.de/systeme#JAS

CA System: Kant/Kash

swMath Link: http://www.swmath.org/software/481
Related Papers:
Related Software: KANT/KASH, Magma, Maple, PARI/GP, GAP, KASH, SageMath, SIMATH, Polycyclic, SCSCP, AClib, KANTOO, ecdata, TECC, GiANT, Mathematica, LiDIA, Macaulay2, ANUPQ, Polenta, PyDev
SIGSAM Link: http://www.sigsam.org/software/kant.html
Summary: A computer algebra system for sophisticated computations in algebraic number fields and global function fields.
SD Entry: http://symbolicdata.org/Data/System/kant

Description: Computational Algebraic Number Theory
URL: http://page.math.tu-berlin.de/~kant/kash.html
Source: http://fachgruppe-computeralgebra.de/systeme#Kant_Kash

Description: KASH/KANT is a computer algebra system (CAS) for sophisticated computations in algebraic number fields and global function fields. It has been developed under the project leadership of Prof. Dr. M. Pohst at Technische Universität Berlin.
Author(s): Georg Baier, Harald Bartel, Hartmut Bauer, Mario Daberkow, Claus Fieker, Robert Fraatz, Sebastian Freundt, Carsten Friedrichs, Katharina Geißler, Johannes Graf von Schmettow, Maike Henningsen, Florian Heß, Andreas Hoppe, Max Jüntgen, Carolin Just, Jürgen Klüners, Anita Krahmann, Jose Mendez, Sebastian Pauli, Michael Pohst, Martin Schörnig, Oliver Voigt, Marcus Wagner, Klaus Wildanger
Produced by: KANT group; Technische Universität Berlin, Institut für Mathematik
URL: http://www.math.tu-berlin.de/~kant/
Source: sigsam_29.csv from SIGSAM

Description: KASH/KANT is a computer algebra system (CAS) for sophisticated computations in algebraic number fields and global function fields. It has been developed under the project leadership of Prof. Dr. M. Pohst at Technische Universität Berlin.
Author(s): Harald Bartel, Hartmut Bauer, Mario Daberkow, Claus Fieker, Robert Fraatz, Sebastian Freundt, Carsten Friedrichs, Katharina Geißler, Maike Henningsen, Florian Heß, Andreas Hoppe, Max Jüntgen, Carolin Just, Jürgen Klüners, Anita Krahmann, Jose Mendez, Sebastian Pauli, Michael Pohst, Martin Schörnig, Oliver Voigt, Marcus Wagner, Klaus Wildanger
Produced by: Institut für Mathematik, Technische Universität Berlin
URL: http://www.math.tu-berlin.de/~kant/
Source: http://www.swmath.org/software/481

CA System: LiDIA

swMath Link: http://www.swmath.org/software/518
Related Papers:
Related Software: LiDIA, PARI/GP, MAPC, KANT/KASH, Mathematica, PRECISE, Maple, Opal, Magma, mpmath, gmp, ARIBAS, PyDev, ANTLR, ATLAS, SageMath, SIMATH, NZMATH, NTL, PCCTS
SIGSAM Link: http://www.sigsam.org/software/lidia.html
Summary: A C++ Library For Computational Number Theory.
SD Entry: http://symbolicdata.org/Data/System/lidia

Description: Library For Computational Number Theory
URL: http://cadadr.org/fm/package/lidia.html
Source: http://fachgruppe-computeralgebra.de/systeme#LiDIA

Description: LiDIA: A library for computational number theory. LiDIA is a C++ library for number theory. The present version only contains tools for rational integers and some floating point arithmetic, however. Emphasis is put on easy usability, modularity (e.g. it can be used with different multi-precision packages) and speed. In this report the authors present several illustrative examples. In particular, they compare their running times with those of the software packages Pari, Maple and Mathematica. Computer algebra system (CAS).
Author(s): Ingrid Biehl, Johannes Buchmann, Thomas Papanikolaou
URL: http://www.informatik.tu-darmstadt.de/TI/LiDIA/
Source: sigsam_29.csv from SIGSAM

Description: LiDIA: A library for computational number theory. LiDIA is a C++ library for number theory. The present version only contains tools for rational integers and some floating point arithmetic, however. Emphasis is put on easy usability, modularity (e.g. it can be used with different multi-precision packages) and speed. In this report the authors present several illustrative examples. In particular, they compare their running times with those of the software packages Pari, Maple and Mathematica.
Author(s): Ingrid Biehl, Johannes Buchmann, Thomas Papanikolaou
URL: http://www.informatik.tu-darmstadt.de/TI/LiDIA/
Source: http://www.swmath.org/software/518

CA System: LiE

swMath Link: http://www.swmath.org/software/1075
Related Papers:
Related Software: LiE, Magma, Mathematica, GAP, Macaulay2, Maple, SageMath, CHEVIE, SINGULAR, ELIAS, CoReLG, coxeter, Affine, GitHub, TOPCOM, SYMMGRP.MAX, SYNRAC, Qcircuit, ParoC++, MuPAD, CoCoA
SIGSAM Link: http://www.sigsam.org/software/lie.html
Summary: A Computer algebra package for Lie group computations.
SD Entry: http://symbolicdata.org/Data/System/lie

Description: LiE is the name of a software package that enables mathematicians and physicists to perform computations of a Lie group theoretic nature. It focuses on the representation theory of complex semisimple (reductive) Lie groups and algebras, and on the structure of their Weyl groups and root systems. LiE does not compute directly with elements of the Lie groups and algebras themselves; it rather computes with weights, roots, characters and similar objects. Some specialities of LiE are: tensor product decompositions, branching to subgroups, Weyl group orbits, reduced elements in Weyl groups, distinguished coset representatives and much more. These operations have been compiled into the program which results in fast execution: typically one or two orders of magnitude faster than similar programs written in a general purpose program. The LiE programming language makes it possible to customise and extend the package with more mathematical functions. A user manual is provided containing many examples. LiE establishes an interactive environment from which commands can be given that involve basic programming primitives and powerful built-in functions. These commands are read by an interpreter built into the package and passed to the core of the system. This core consists of programs representing some 100 mathematical functions. The interpreter offers on-line facilities which explain operations and functions, and which give background information about Lie group theoretical concepts and about currently valid definitions and values. Computer algebra system (CAS).
Author(s): Arjeh M. Cohen, B. Lisser, Marc A.A. van Leeuwen
URL: http://wwwmathlabo.univ-poitiers.fr/~maavl/LiE/
Source: sigsam_29.csv from SIGSAM

Description: LiE is the name of a software package that enables mathematicians and physicists to perform computations of a Lie group theoretic nature. It focuses on the representation theory of complex semisimple (reductive) Lie groups and algebras, and on the structure of their Weyl groups and root systems. LiE does not compute directly with elements of the Lie groups and algebras themselves; it rather computes with weights, roots, characters and similar objects. Some specialities of LiE are: tensor product decompositions, branching to subgroups, Weyl group orbits, reduced elements in Weyl groups, distinguished coset representatives and much more. These operations have been compiled into the program which results in fast execution: typically one or two orders of magnitude faster than similar programs written in a general purpose program. The LiE programming language makes it possible to customise and extend the package with more mathematical functions. A user manual is provided containing many examples. LiE establishes an interactive environment from which commands can be given that involve basic programming primitives and powerful built-in functions. These commands are read by an interpreter built into the package and passed to the core of the system. This core consists of programs representing some 100 mathematical functions. The interpreter offers on-line facilities which explain operations and functions, and which give background information about Lie group theoretical concepts and about currently valid definitions and values.
Author(s): Arjeh M. Cohen, B. Lisser, Marc A.A. van Leeuwen
URL: http://wwwmathlabo.univ-poitiers.fr/~maavl/LiE/
Source: http://www.swmath.org/software/1075

CA System: MAS

SD Entry: http://symbolicdata.org/Data/System/mas

Description: Modula-2 Algebra System, an experimental computer algebra system
Author(s): Heinz Kredel
URL: http://krum.rz.uni-mannheim.de/mas
Source: http://fachgruppe-computeralgebra.de/systeme#MAS

CA System: MATLAB

SD Entry: http://symbolicdata.org/Data/System/matlab

Description: The Language Of Technical Computing. Seit Herbst 2008 durch Übernahme von MuPAD auch mit einer Symbolic Math Toolbox.
URL: http://www.mathworks.com/products/matlab
Source: http://fachgruppe-computeralgebra.de/systeme#MATLAB

CA System: MOLGEN

swMath Link: http://www.swmath.org/software/586
Related Papers:
Related Software: MOLGEN, nauty, GAP, Maple, GRAFFITI, GRAPH, LEDA, GRAPE , MOLGEN-QSPR, ISOMERS, INGRID, GraphBase, Grappa, Refiner, AutoGraphiX, Matlab, Excel, Mathematica, daVinci, snarkhunter
SIGSAM Link: http://www.sigsam.org/software/molgen.html
Summary: A system for the computation of all structural formulae that correspond to a given molecular formula.
SD Entry: http://symbolicdata.org/Data/System/molgen

Description: Molecular Structure Generation
Author(s): Ralf Gugisch, Adalbert Kerber, Axel Kohnert, Reinhard Laue, Markus Meringer, Christoph Rücker, Alfred Wassermann
Produced by: Universität Bayreuth
URL: http://www.molgen.de
Source: http://fachgruppe-computeralgebra.de/systeme#MOLGEN

Description: Due to a detailed description of the underlying mathematical concepts and many illustrating examples the paper is well understandable, also for a non-expert. Following the traditional lines of considering homomorphic images of groups and double cosets of groups operating on sets, new methods for colouring orbits and determining automorphism groups are presented in order to construct all connected multigraphs with given degrees of vertices and forbidden or prescribed sets of subgraphs (algorithm MOLGEN).par The algorithm relies on algebraic methods rather than combinatorial considerations and allows to construct molecular graphs with given properties of considerable size and complexity, as the numerical results presented in the paper show. Thus, with MOLGEN, there is available a new successful expert system for the structural analysis of chemical compounds. Computer algebra system (CAS).
Author(s): R. Grund, Adalbert Kerber, Reinhard Laue
URL: http://molgen.de/?src=documents/molgen3.html
Source: sigsam_29.csv from SIGSAM

Description: Due to a detailed description of the underlying mathematical concepts and many illustrating examples the paper is well understandable, also for a non-expert. Following the traditional lines of considering homomorphic images of groups and double cosets of groups operating on sets, new methods for colouring orbits and determining automorphism groups are presented in order to construct all connected multigraphs with given degrees of vertices and forbidden or prescribed sets of subgraphs (algorithm MOLGEN).par The algorithm relies on algebraic methods rather than combinatorial considerations and allows to construct molecular graphs with given properties of considerable size and complexity, as the numerical results presented in the paper show. Thus, with MOLGEN, there is available a new successful expert system for the structural analysis of chemical compounds.
Author(s): R. Grund
URL: http://molgen.de/?src=documents/molgen3.html
Source: http://www.swmath.org/software/586

CA System: Macaulay 2

swMath Link: http://www.swmath.org/software/537
Related Papers:
Related Software: Macaulay2, SINGULAR, CoCoA, Magma, SageMath, Bertini, Maple, PHCpack, GAP, Gfan, polymake, Mathematica, Normaliz, 4ti2, BoijSoederberg, Risa/Asir, Kan, STRINGVACUA, CoCoALib, CSM-A, D-modules
SIGSAM Link: http://www.sigsam.org/software/macaulay2.html
Summary: a system for research in algebraic geometry and commutative algebra.
SD Entry: http://symbolicdata.org/Data/System/macaulay2

Description: Macaulay2 is a software system devoted to supporting research in algebraic geometry and commutative algebra, whose creation has been funded by the National Science Foundation since 1992. Macaulay2 includes core algorithms for computing Gröbner bases and graded or multi-graded free resolutions of modules over quotient rings of graded or multi-graded polynomial rings with a monomial ordering. The core algorithms are accessible through a versatile high level interpreted user language with a powerful debugger supporting the creation of new classes of mathematical objects and the installation of methods for computing specifically with them. Macaulay2 can compute Betti numbers, Ext, cohomology of coherent sheaves on projective varieties, primary decomposition of ideals, integral closure of rings, and more. Computer algebra system (CAS).
URL: http://www.math.uiuc.edu/Macaulay2/
Source: sigsam_29.csv from SIGSAM

Description: Macaulay2 is a software system devoted to supporting research in algebraic geometry and commutative algebra, whose creation has been funded by the National Science Foundation since 1992. Macaulay2 includes core algorithms for computing Gröbner bases and graded or multi-graded free resolutions of modules over quotient rings of graded or multi-graded polynomial rings with a monomial ordering. The core algorithms are accessible through a versatile high level interpreted user language with a powerful debugger supporting the creation of new classes of mathematical objects and the installation of methods for computing specifically with them. Macaulay2 can compute Betti numbers, Ext, cohomology of coherent sheaves on projective varieties, primary decomposition of ideals, integral closure of rings, and more.
URL: http://www.math.uiuc.edu/Macaulay2/
Source: http://www.swmath.org/software/537

CA System: Magma

swMath Link: http://www.swmath.org/software/540
Related Papers:
Related Software: Magma, GAP, SageMath, PARI/GP, SINGULAR, Maple, ecdata, Macaulay2, ATLAS Group Representations, FGb, Mathematica, OEIS, NTL, CoCoA, nauty, GitHub, LMFDB, KANT/KASH, MeatAxe, CHEVIE, FLINT
SD Entry: http://symbolicdata.org/Data/System/magma

Description: Computational Algebra System
URL: http://magma.maths.usyd.edu.au/magma
Source: http://fachgruppe-computeralgebra.de/systeme#MAGMA

Description: Computer algebra system (CAS). Magma is a large, well-supported software package designed for computations in algebra, number theory, algebraic geometry and algebraic combinatorics. It provides a mathematically rigorous environment for defining and working with structures such as groups, rings, fields, modules, algebras, schemes, curves, graphs, designs, codes and many others. Magma also supports a number of databases designed to aid computational research in those areas of mathematics which are algebraic in nature. The overview provides a summary of Magma's main features. One of the aims whilst developing Magma is to maintain extensive documentation describing the features of the system. This handbook is available online. The documentation section should help introduce new users to the Magma language. Magma is distributed by the Computational Algebra Group at the University of Sydney. Its development has benefited enormously from contributions made by many members of the mathematical community. We encourage all users to report any bugs they find; regular patch fixes are available from the downloads section.
Author(s): Wieb Bosma, John Cannon, S. Contini, D. Fisher, G. Matthews, B. Smith, Alan Steel
URL: http://magma.maths.usyd.edu.au/magma/
Source: sigsam_29.csv from SIGSAM

Description: Magma is a large, well-supported software package designed for computations in algebra, number theory, algebraic geometry and algebraic combinatorics. It provides a mathematically rigorous environment for defining and working with structures such as groups, rings, fields, modules, algebras, schemes, curves, graphs, designs, codes and many others. Magma also supports a number of databases designed to aid computational research in those areas of mathematics which are algebraic in nature. The overview provides a summary of Magma's main features. One of the aims whilst developing Magma is to maintain extensive documentation describing the features of the system. This handbook is available online. The documentation section should help introduce new users to the Magma language. Magma is distributed by the Computational Algebra Group at the University of Sydney. Its development has benefited enormously from contributions made by many members of the mathematical community. We encourage all users to report any bugs they find; regular patch fixes are available from the downloads section.
Author(s): S. Contini, D. Fisher, G. Matthews, B. Smith
URL: http://magma.maths.usyd.edu.au/magma/
Source: http://www.swmath.org/software/540

CA System: Maple

swMath Link: http://www.swmath.org/software/545
Related Papers:
Related Software: Maple, Mathematica, Matlab, MACSYMA, REDUCE, SINGULAR, Magma, GAP, AXIOM, SageMath, Macaulay2, OEIS, RegularChains, gfun, CoCoA, MuPAD, Python, QEPCAD, SYMMGRP, Mathcad, FGb
SD Entry: http://symbolicdata.org/Data/System/maple

Description: Mathematics, Modeling, Simulation
URL: http://www.maplesoft.com
Source: http://fachgruppe-computeralgebra.de/systeme#Maple

Description: The result of over 30 years of cutting-edge research and development, Maple helps you analyze, explore, visualize, and solve mathematical problems. With over 5000 functions, Maple offers the breadth, depth, and performance to handle every type of mathematics. Maple’s intuitive interface supports multiple styles of interaction, from Clickable Math™ tools to a sophisticated programming language. Using the smart document environment provided by Maple, you can automatically capture all of your technical knowledge in an electronic form that combines calculations, explanatory text and math, graphics, images, sound, and diagrams.
URL: http://www.maplesoft.com/
Source: sigsam_29.csv from SIGSAM

Description: The result of over 30 years of cutting-edge research and development, Maple helps you analyze, explore, visualize, and solve mathematical problems. With over 5000 functions, Maple offers the breadth, depth, and performance to handle every type of mathematics. Maple’s intuitive interface supports multiple styles of interaction, from Clickable Math™ tools to a sophisticated programming language. Using the smart document environment provided by Maple, you can automatically capture all of your technical knowledge in an electronic form that combines calculations, explanatory text and math, graphics, images, sound, and diagrams.
URL: http://www.maplesoft.com/
Source: http://www.swmath.org/software/545

CA System: MathCad

SD Entry: http://symbolicdata.org/Data/System/mathcad

Description: Der globale Standard für Konstruktionsberechnungen
URL: http://www.mathcad.com
Source: http://fachgruppe-computeralgebra.de/systeme#MathCad

CA System: Mathematica

swMath Link: http://www.swmath.org/software/554
Related Papers:
Related Software: Mathematica, Maple, Matlab, MACSYMA, REDUCE, R, SageMath, SINGULAR, Theorema, DLMF, GAP, Magma, OEIS, AXIOM, LAPACK, MPFR, Maxima, Macaulay2, Mathcad, mctoolbox, PARI/GP
SD Entry: http://symbolicdata.org/Data/System/mathematica

Description: Compute, Develop, Deploy
URL: http://www.wolfram.com
Source: http://fachgruppe-computeralgebra.de/systeme#Mathematica

Description: Almost any workflow involves computing results, and that's what Mathematica does — from building a hedge-fund trading website or publishing interactive engineering textbooks, to developing embedded image-recognition algorithms or teaching calculus. Mathematica is renowned as the world's ultimate application for computations. But it's much more — it's the only development platform fully integrating computation into complete workflows, moving you seamlessly from initial ideas all the way to deployed individual or enterprise solutions.
URL: http://www.wolfram.com/products/mathematica
Source: sigsam_29.csv from SIGSAM

Description: Almost any workflow involves computing results, and that's what Mathematica does—from building a hedge-fund trading website or publishing interactive engineering textbooks, to developing embedded image-recognition algorithms or teaching calculus. Mathematica is renowned as the world's ultimate application for computations. But it's much more — it's the only development platform fully integrating computation into complete workflows, moving you seamlessly from initial ideas all the way to deployed individual or enterprise solutions.
URL: http://www.wolfram.com/products/mathematica
Source: http://www.swmath.org/software/554

CA System: Maxima

SD Entry: http://symbolicdata.org/Data/System/maxima

Description: Manipulation of symbolic and numerical expressions. Vorgängersystem: Macsyma
URL: http://maxima.sourceforge.net/
Source: http://fachgruppe-computeralgebra.de/systeme#Maxima

CA System: MuPAD - now Matlab symbolic toolbox

swMath Link: http://www.swmath.org/software/606
Related Papers:
Related Software: MuPAD, Maple, MuPAD-Combinat, Mathematica, Matlab, SageMath, OEIS, GUI-HDMR, PERL, Macaulay2, REDUCE, SINGULAR, AXIOM, CoCoA, GAP, Magma, MACSYMA, DERIVE, Symbolic Math Toolbox, SCSCP, ADOL-C
SD Entry: http://symbolicdata.org/Data/System/mupad

Description: Seit Herbst 2008 wird MuPAD nicht mehr als eigenständiges Produkt vertrieben. Die MuPAD Technologie ist nun Bestandteil der Symbolic Math Toolbox in MATLAB.
URL: http://www.mathworks.com/products/symbolic
Source: http://fachgruppe-computeralgebra.de/systeme#MuPAD

CA System: Normaliz

swMath Link: http://www.swmath.org/software/630
Related Papers:
Related Software: Normaliz, 4ti2, Macaulay2, polymake, SINGULAR, CoCoA, LattE, GAP, SageMath, Gfan, cdd, Help, Maple, Mathematica, SCIP, lrs, CoCoALib, TOPCOM, Magma, nauty, PORTA
SD Entry: http://symbolicdata.org/Data/System/normaliz

No description available

CA System: ORME

swMath Link: http://www.swmath.org/software/15064
Related Papers:
Related Software: ORME, Isabelle/HOL, Flyspeck, Coq, SPIKE , CoLoR, A3PAT, NQTHM, SPIKE
SIGSAM Link: http://www.sigsam.org/software/orme.html
Summary: A package for equational theories.
SD Entry: http://symbolicdata.org/Data/System/orme

Description: ORME is both a rewrite rule laboratory and a toolbox for building theorem provers and software related to equational theories. Computer algebra system (CAS).
Author(s): P. Lescanne
URL: http://www.sigsam.org/software/orme.html
Source: sigsam_29.csv from SIGSAM

Description: ORME is both a rewrite rule laboratory and a toolbox for building theorem provers and software related to equational theories.
Author(s): P. Lescanne
URL: http://www.sigsam.org/software/orme.html
Source: http://www.swmath.org/software/15064

CA System: PARI/GP

swMath Link: http://www.swmath.org/software/680
Related Papers:
Related Software: PARI/GP, Magma, SageMath, ecdata, Mathematica, GAP, Maple, gmp, KANT/KASH, NTL, OEIS, FLINT, SINGULAR, LMFDB, MPFR, R, GitHub, ECPP, Maxima, Arb, mpmath
SIGSAM Link: http://www.sigsam.org/software/pari.html
Summary: A computer algebra system designed for for fast computations in number theory.
SD Entry: http://symbolicdata.org/Data/System/pari

Description: Schnelle Berechnungen aus der Zahlentheorie
URL: http://pari.math.u-bordeaux.fr/
Source: http://fachgruppe-computeralgebra.de/systeme#PARI_GP

Description: PARI/GP is a widely used Computer Algebra System (CAS) designed for fast computations in number theory, but also contains a large number of other useful functions to compute with mathematical entities such as matrices, power series, algebraic or p-adic numbers, etc., and a lot of transcendental functions. PARI is also available as a C library to allow for faster computations.
Produced by: PARI group
URL: http://pari.math.u-bordeaux.fr/
Source: sigsam_29.csv from SIGSAM

Description: PARI/GP is a widely used Computer Algebra System (CAS) designed for fast computations in number theory, but also contains a large number of other useful functions to compute with mathematical entities such as matrices, power series, algebraic or p-adic numbers, etc., and a lot of transcendental functions. PARI is also available as a C library to allow for faster computations.
Author(s): Karim Belabas, Henri Cohen
URL: http://pari.math.u-bordeaux.fr/
Source: http://www.swmath.org/software/680

CA System: PLURAL

SD Entry: http://symbolicdata.org/Data/System/plural

Description: A Computer Algebra Subsystem for Noncommutative Polynomial Algebras
Author(s): Albert Heinle, Viktor Levandovskyy
URL: http://www.singular.uni-kl.de/Manual/3-0-4/sing_355.htm
Source: http://fachgruppe-computeralgebra.de/systeme#PLURAL

CA System: Points

SD Entry: http://symbolicdata.org/Data/System/points

No description available

CA System: QPoints

SD Entry: http://symbolicdata.org/Data/System/qpoints

No description available

CA System: Reduce

swMath Link: http://www.swmath.org/software/789
Related Papers:
Related Software: REDUCE, Maple, Mathematica, MACSYMA, DIMSYM, EXCALC, AXIOM, CRACK, REDLOG, SINGULAR, LIE, SPDE, GENTRAN, CoCoA, SYMMGRP, QEPCAD, Macaulay2, MuPAD, DERIVE, FINGER, LIEPDE
SIGSAM Link: http://www.sigsam.org/software/reduce.html
Summary: An interactive system for general algebraic computations of interest to mathematicians, scientists and engineers.
SD Entry: http://symbolicdata.org/Data/System/reduce

Description: An interactive system for general algebraic computations
Author(s): Anthony C. Hearn
URL: http://www.reduce-algebra.com
Source: http://fachgruppe-computeralgebra.de/systeme#Reduce

Description: REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. Computer algebra system (CAS). It has been produced by a collaborative effort involving many contributors. Its capabilities include: expansion and ordering of polynomials and rational functions; substitutions and pattern matching in a wide variety of forms; automatic and user controlled simplification of expressions; calculations with symbolic matrices; arbitrary precision integer and real arithmetic; facilities for defining new functions and extending program syntax; analytic differentiation and integration; factorization of polynomials; facilities for the solution of a variety of algebraic equations; facilities for the output of expressions in a variety of formats; facilities for generating optimized numerical programs from symbolic input; calculations with a wide variety of special functions; Dirac matrix calculations of interest to high energy physicists.
URL: http://reduce-algebra.sourceforge.net/
Source: sigsam_29.csv from SIGSAM

Description: REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. It has been produced by a collaborative effort involving many contributors. Its capabilities include: expansion and ordering of polynomials and rational functions; substitutions and pattern matching in a wide variety of forms; automatic and user controlled simplification of expressions; calculations with symbolic matrices; arbitrary precision integer and real arithmetic; facilities for defining new functions and extending program syntax; analytic differentiation and integration; factorization of polynomials; facilities for the solution of a variety of algebraic equations; facilities for the output of expressions in a variety of formats; facilities for generating optimized numerical programs from symbolic input; calculations with a wide variety of special functions; Dirac matrix calculations of interest to high energy physicists.
Author(s): Anthony C. Hearn, Gerhard Rayna, Rainer Schöpf, Thomas Sturm
URL: http://reduce-algebra.sourceforge.net/
Source: http://www.swmath.org/software/789

CA System: Reduce package ASYS

SD Entry: http://symbolicdata.org/Data/System/asys

No description available

CA System: SONATA

swMath Link: http://www.swmath.org/software/4904
Related Papers:
Related Software: SONATA, GAP, GotoBLAS, SmallGroups Library, GUAVA
SIGSAM Link: http://www.sigsam.org/software/sonata.html
Summary: A system for the construction and the analysis of finite nearrings.
SD Entry: http://symbolicdata.org/Data/System/sonata

Description: The use of computers in near-ring theory This paper describes the facilities available in a computer system developed by the authors at the University of Linz, Austria, for investigating near-rings. The use of computers to investigate near-rings goes back a long way to the mid 1960s and J. R. Clay. This report opens up a new era in this field by providing a system SONATA (System Of Near-rings And Their Applications) based on GAP, the well known powerful program for groups. A description of the methods used is given. The amount of information that can be obtained is very substantial and can deal with very large near-rings, in some cases up to 10^50 elements in size. Several examples of possible use are described. This is a very useful major achievement. Computer algebra system (CAS).
Author(s): Erhard Aichinger, Jürgen Ecker, Christof Nöbauer
URL: http://www.algebra.uni-linz.ac.at/Sonata/
Source: sigsam_29.csv from SIGSAM

Description: The use of computers in near-ring theory This paper describes the facilities available in a computer system developed by the authors at the University of Linz, Austria, for investigating near-rings. The use of computers to investigate near-rings goes back a long way to the mid 1960s and J. R. Clay. This report opens up a new era in this field by providing a system SONATA (System Of Near-rings And Their Applications) based on GAP, the well known powerful program for groups. A description of the methods used is given. The amount of information that can be obtained is very substantial and can deal with very large near-rings, in some cases up to 10^50 elements in size. Several examples of possible use are described. This is a very useful major achievement.
Author(s): Erhard Aichinger, Jürgen Ecker, Christof Nöbauer
URL: http://www.algebra.uni-linz.ac.at/Sonata/
Source: http://www.swmath.org/software/4904

CA System: SYMMETRICA

SD Entry: http://symbolicdata.org/Data/System/symmetrica

Description: Representation theory of symmetric and classical groups
URL: http://www.algorithm.uni-bayreuth.de/en/research/SYMMETRICA
Source: http://fachgruppe-computeralgebra.de/systeme#SYMMETRICA

CA System: SageMath

swMath Link: http://www.swmath.org/software/825
Related Papers:
Related Software: SageMath, Magma, GAP, SINGULAR, PARI/GP, Sage-Combinat, OEIS, Mathematica, Macaulay2, Maple, GitHub, ecdata, Python, Gfan, nauty, NTL, Maxima, Matlab, SciPy, gmp, FLINT
SIGSAM Link: http://www.sigsam.org/software/sage.html
Summary: An open-source general purpose computer algebra system.
SD Entry: http://symbolicdata.org/Data/System/sagemath

Description: Sage is free, open-source math software that supports research and teaching in algebra, geometry, number theory, cryptography, numerical computation, and related areas. Both the Sage development model and the technology in Sage itself are distinguished by an extremely strong emphasis on openness, community, cooperation, and collaboration: we are building the car, not reinventing the wheel. The overall goal of Sage is to create a viable, free, open-source alternative to Maple, Mathematica, Magma, and MATLAB. Computer algebra system (CAS).
URL: http://www.sagemath.org
Source: sigsam_29.csv from SIGSAM

Description: Sage is free, open-source math software that supports research and teaching in algebra, geometry, number theory, cryptography, numerical computation, and related areas. Both the Sage development model and the technology in Sage itself are distinguished by an extremely strong emphasis on openness, community, cooperation, and collaboration: we are building the car, not reinventing the wheel. The overall goal of Sage is to create a viable, free, open-source alternative to Maple, Mathematica, Magma, and MATLAB.
Author(s): John Cremona, Burçin Eröcal, David Joyner, David Kohel, William Stein
URL: http://www.sagemath.org
Source: http://www.swmath.org/software/825

CA System: Singular

swMath Link: http://www.swmath.org/software/866
Related Papers:
Related Software: SINGULAR, Macaulay2, CoCoA, Magma, Maple, SageMath, primdec, GAP, Plural, Mathematica, FGb, Risa/Asir, Gfan, STRINGVACUA, PHCpack, Normaliz, polymake, Bertini, 4ti2, slimgb, PolyBoRi
SIGSAM Link: http://www.sigsam.org/software/singular.html
Summary: A Computer Algebra System for polynomial computations with special emphasis on the needs of commutative algebra, algebraic geometry, and singularity theory.
SD Entry: http://symbolicdata.org/Data/System/singular

Description: A Computer Algebra System for polynomial computations with special emphasis on the needs of commutative algebra, algebraic geometry, and singularity theory
URL: http://www.singular.uni-kl.de/
Source: http://fachgruppe-computeralgebra.de/systeme#SINGULAR

Description: SINGULAR is a Computer Algebra system (CAS) for polynomial computations in commutative algebra, algebraic geometry, and singularity theory. SINGULAR's main computational objects are ideals and modules over a large variety of baserings. The baserings are polynomial rings over a field (e.g., finite fields, the rationals, floats, algebraic extensions, transcendental extensions), or localizations thereof, or quotient rings with respect to an ideal. SINGULAR features fast and general implementations for computing Groebner and standard bases, including e.g. Buchberger's algorithm and Mora's Tangent Cone algorithm. Furthermore, it provides polynomial factorizations, resultant, characteristic set and gcd computations, syzygy and free-resolution computations, and many more related functionalities. Based on an easy-to-use interactive shell and a C-like programming language, SINGULAR's internal functionality is augmented and user-extendible by libraries written in the SINGULAR programming language. A general and efficient implementation of communication links allows SINGULAR to make its functionality available to other programs.
URL: http://www.singular.uni-kl.de
Source: sigsam_29.csv from SIGSAM

Description: SINGULAR is a Computer Algebra system (CAS) for polynomial computations in commutative algebra, algebraic geometry, and singularity theory. SINGULAR's main computational objects are ideals and modules over a large variety of baserings. The baserings are polynomial rings over a field (e.g., finite fields, the rationals, floats, algebraic extensions, transcendental extensions), or localizations thereof, or quotient rings with respect to an ideal. SINGULAR features fast and general implementations for computing Groebner and standard bases, including e.g. Buchberger's algorithm and Mora's Tangent Cone algorithm. Furthermore, it provides polynomial factorizations, resultant, characteristic set and gcd computations, syzygy and free-resolution computations, and many more related functionalities. Based on an easy-to-use interactive shell and a C-like programming language, SINGULAR's internal functionality is augmented and user-extendible by libraries written in the SINGULAR programming language. A general and efficient implementation of communication links allows SINGULAR to make its functionality available to other programs.
Author(s): Wolfram Decker, http://symbolicdata.org/Data/Person/Greuel_G, Gerhard Pfister, Hans Schönemann
URL: http://www.singular.uni-kl.de
Source: http://www.swmath.org/software/866

CA System: The Geometer's Sketchpad

SD Entry: http://symbolicdata.org/Data/System/sketchpad

No description available

CA System: The SCIEnce Project

SD Entry: http://symbolicdata.org/Data/System/thescienceproject

Description: Brings together the developers of four powerful symbolic computation software packages (GAP, KANT, Maple and MuPAD).
URL: http://www.symbolic-computation.org/The_SCIEnce_Project
Source: http://fachgruppe-computeralgebra.de/systeme#TheSCIEnceProject

CA System: com.perisic.ring

Summary: A package of Java classes for multivariate and univariate polynomials.
SD Entry: http://symbolicdata.org/Data/System/comperisicring

Description: A package of Java classes for multivariate and univariate polynomials
Author(s): Marc Conrad
URL: http://ring.perisic.com
Source: http://fachgruppe-computeralgebra.de/systeme#com.perisic.ring

CA System: polymake

swMath Link: http://www.swmath.org/software/724
Related Papers:
Related Software: polymake, Macaulay2, Gfan, GAP, Normaliz, SINGULAR, LattE, TOPCOM, Magma, cdd, Maple, SageMath, nauty, 4ti2, PORTA, a-tint, 01poly, JavaView, SCIP, CoCoA, Matlab
SD Entry: http://symbolicdata.org/Data/System/polymake

Description: A tool to study the combinatorics and the geometry of convex polytopes and polyhedra
URL: http://www.polymake.org/
Source: http://fachgruppe-computeralgebra.de/systeme#POLYMAKE