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

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

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

GAP
 Referenced in 2385 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 2337 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 1490 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 1329 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 1223 articles
[sw06377]
 Statistical Analysis System) is an integrated system of software products provided by SAS Institute...

Genocop
 Referenced in 1014 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 1483 articles
[sw00161]
 formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms...

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

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

Python
 Referenced in 735 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...

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

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

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

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

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