
Magma
 Referenced in 3363 articles
[sw00540]
 algebra system (CAS). Magma is a large, wellsupported software package designed for computations ... geometry and algebraic combinatorics. It provides a mathematically rigorous environment for defining and working with ... databases designed to aid computational research in those areas of mathematics which are algebraic ... extensive documentation describing the features of the system. This handbook is available online. The documentation...

Maple
 Referenced in 5403 articles
[sw00545]
 performance to handle every type of mathematics. Maple’s intuitive interface supports multiple styles ... math, graphics, images, sound, and diagrams. Computer algebra system...

DLMF
 Referenced in 2889 articles
[sw04968]
 technology of choice for presentation of mathematics in print but it is not well suited ... example, or for input to computer algebra systems. These and other problems, and some partially...

GAP
 Referenced in 3221 articles
[sw00320]
 system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides ... overview and the description of the mathematical capabilities. GAP is used in research and teaching ... spaces, algebras, combinatorial structures, and more. The system, including source, is distributed freely ... extend it for your special use. Computer algebra system...

MACSYMA
 Referenced in 721 articles
[sw01209]
 purpose symbolicnumericalgraphical mathematics software product. Computer algebra system...

Macaulay2
 Referenced in 1958 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting research in algebraic geometry and commutative algebra ... since 1992. Macaulay2 includes core algorithms for computing Gröbner bases and graded or multigraded ... mathematical objects and the installation of methods for computing specifically with them. Macaulay2 can compute ... integral closure of rings, and more. Computer algebra system...

PARI/GP
 Referenced in 655 articles
[sw00680]
 widely used Computer Algebra System (CAS) designed for fast computations in number theory, but also ... number of other useful functions to compute with mathematical entities such as matrices, power series...

GeoGebra
 Referenced in 383 articles
[sw04203]
 GeoGebra is free and multiplatform dynamic mathematics software for all levels of education that ... world. Free and open source software. Computer algebra system...

Chebfun
 Referenced in 423 articles
[sw05897]
 software system in objectoriented MATLAB that extends familiar powerful methods of numerical computation involving ... solves ordinary differential equations. The mathematical basis of the system combines tools of Chebyshev expansions...

AXIOM
 Referenced in 173 articles
[sw00063]
 purpose Computer Algebra system (CAS). It is useful for research and development of mathematical algorithms...

SciPy
 Referenced in 791 articles
[sw06293]
 Sigh Pie”) is opensource software for mathematics, science, and engineering. It is also ... Together, they run on all popular operating systems, are quick to install, and are free ... need to manipulate numbers on a computer and display or publish the results, give SciPy...

SymPy
 Referenced in 164 articles
[sw00940]
 symbolic mathematics. It aims to become a fullfeatured computer algebra system (CAS) while keeping...

TensorFlow
 Referenced in 653 articles
[sw15170]
 flow graphs. Nodes in the graph represent mathematical operations, while the graph edges represent ... flexible architecture allows you to deploy computation to one or more CPUs or GPUs ... deep neural networks research, but the system is general enough to be applicable...

SageCombinat
 Referenced in 107 articles
[sw16448]
 Combinat: enhancing Sage as a toolbox for computer exploration in algebraic combinatorics. SageCombinat ... open source mathematical system Sage as an extensible toolbox for computer exploration in (algebraic) combinatorics...

Geometer's Sketchpad
 Referenced in 228 articles
[sw04858]
 daily to illustrate and illuminate mathematical ideas. Classroomtested activities are accompanied by presentation sketches ... students in a computer lab or on laptops. Computer algebra system...

Isar
 Referenced in 145 articles
[sw04599]
 this kind of semiautomated reasoning systems include Coq, PVS, HOL, and Isabelle. Despite this ... success in actually formalizing parts of mathematics and computer science, there are still obstacles ... none of the existing semiautomated reasoning systems have an adequate primary notion of proof...

Theorema
 Referenced in 150 articles
[sw00961]
 software system Theorema provides a uniform logic and software technologic frame for proving, solving ... areas of mathematics. Theorema is developed at the Research Institute for Symbolic Computation (RISC), Austria...

LiE
 Referenced in 165 articles
[sw01075]
 their Weyl groups and root systems. LiE does not compute directly with elements ... groups and algebras themselves; it rather computes with weights, roots, characters and similar objects. Some ... system. This core consists of programs representing some 100 mathematical functions. The interpreter offers ... about currently valid definitions and values. Computer algebra system...

MATCONT
 Referenced in 455 articles
[sw00551]
 differential equations requires good and powerful mathematical software. Also, flexibility and extendibility of the package ... have their own way of specifying the system or are written in a relatively ... continuation and normal form analysis of dynamical systems. In 2002, the toolbox was extended ... universal use of minimally extended systems, and the computation of normal form coefficients for bifurcations...

MuPAD
 Referenced in 139 articles
[sw00606]
 math expressions, and an extensive set of mathematical functions and libraries. The MuPAD engine serves ... access to the complete MuPAD language. Computer algebra system...