• 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, well-supported 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, least-squares 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 right-hand 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 BSD-UN*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 time-consuming 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 third-party tools, such as Py2exe or Pyinstaller, Python code can be packaged ... some of the most popular operating systems, allowing the distribution of Python-based 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...