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

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

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

GAP
 Referenced in 2392 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 2347 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 1503 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 1341 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 1231 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 1502 articles
[sw00161]
 formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms...

Python
 Referenced in 868 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 1473 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 1312 articles
[sw06383]
 areas ranging from control engineering to system identification and structural design. The LMI Control Toolbox...

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

SageMath
 Referenced in 1248 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 739 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 1043 articles
[sw04511]
 sample analyses through the CRAN distribution system. This is due to the pressure placed...

REDUCE
 Referenced in 706 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...