
Matlab
 Referenced in 10422 articles
[sw00558]
 communications, image and video processing, control systems, test and measurement, computational finance, and computational biology...

Mathematica
 Referenced in 5200 articles
[sw00554]
 deployed individual or enterprise solutions. Computer algebra system...

Maple
 Referenced in 4692 articles
[sw00545]
 graphics, images, sound, and diagrams. Computer algebra system...

GAP
 Referenced in 2396 articles
[sw00320]
 system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides ... spaces, algebras, combinatorial structures, and more. The system, including source, is distributed freely ... your special use. Computer algebra system...

Magma
 Referenced in 2355 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large, wellsupported software package designed for computations ... extensive documentation describing the features of the system. This handbook is available online. The documentation...

LAPACK
 Referenced in 1504 articles
[sw00503]
 Fortran 90 and provides routines for solving systems of simultaneous linear equations, leastsquares solutions ... linear systems of equations, eigenvalue problems, and singular value problems. The associated matrix factorizations ... matrix multiplication and the solution of triangular systems with multiple righthand sides. Because...

Macaulay2
 Referenced in 1353 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting research in algebraic geometry and commutative algebra ... closure of rings, and more. Computer algebra system...

SAS
 Referenced in 1235 articles
[sw06377]
 Statistical Analysis System) is an integrated system of software products provided by SAS Institute...

Genocop
 Referenced in 1019 articles
[sw04707]
 unconstrained optimization, written in C. The Genocop system aims at finding a global optimum (minimum ... without changes on any BSDUN*X system (preferably on a Sun SPARC machine). This ... also be run on a DOS system. This software is copyright by Zbigniew Michalewicz. Permission...

Coq
 Referenced in 1526 articles
[sw00161]
 formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms...

Python
 Referenced in 875 articles
[sw14460]
 procedural styles. It features a dynamic type system and automatic memory management ... available for installation on many operating systems, allowing Python code execution on a wide variety ... systems. Using thirdparty tools, such as Py2exe or Pyinstaller, Python code can be packaged ... some of the most popular operating systems, allowing the distribution of Pythonbased software...

DLMF
 Referenced in 1477 articles
[sw04968]
 example, or for input to computer algebra systems. These and other problems, and some partially...

GAMS
 Referenced in 777 articles
[sw04978]
 General Algebraic Modeling System (GAMS) is specifically designed for modeling linear, nonlinear and mixed integer ... optimization problems. The system is especially useful with large, complex problems. GAMS is available ... problem by making the setup simple. The system takes care of the timeconsuming details ... specific machine and system software implementation. GAMS is especially useful for handling large, complex...

LMI toolbox
 Referenced in 1316 articles
[sw06383]
 areas ranging from control engineering to system identification and structural design. The LMI Control Toolbox...

ABAQUS
 Referenced in 1261 articles
[sw04215]
 consider full vehicle loads, dynamic vibration, multibody systems, impact/crash, nonlinear static, thermal coupling, and acoustic...

SageMath
 Referenced in 1251 articles
[sw00825]
 Maple, Mathematica, Magma, and MATLAB. Computer algebra system...

SINGULAR
 Referenced in 1195 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for polynomial computations in commutative algebra, algebraic geometry...

AUTO
 Referenced in 740 articles
[sw01059]
 limited bifurcation analysis of algebraic systems of the form ... systems of ordinary differential equations of the form ... therefore it is applicable to rather large systems of differential equations...

fda (R)
 Referenced in 1045 articles
[sw04511]
 sample analyses through the CRAN distribution system. This is due to the pressure placed...

REDUCE
 Referenced in 709 articles
[sw00789]
 REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists ... engineers. Computer algebra system (CAS). It has been produced by a collaborative effort involving many...