• R

  • Referenced in 3016 articles [sw00771]
  • strengths is the ease with which well-designed publication-quality plots can be produced, including ... taken over the defaults for the minor design choices in graphics, but the user retains...
  • Magma

  • Referenced in 1635 articles [sw00540]
  • large, well-supported software package designed for computations in algebra, number theory, algebraic geometry ... rings, fields, modules, algebras, schemes, curves, graphs, designs, codes and many others. Magma also supports ... number of databases designed to aid computational research in those areas of mathematics which...
  • UCI-ml

  • Referenced in 1974 articles [sw04074]
  • current version of the web site was designed in 2007 by Arthur Asuncion and David...
  • LMI toolbox

  • Referenced in 899 articles [sw06383]
  • techniques have emerged as powerful design tools in areas ranging from control engineering to system ... identification and structural design. The LMI Control Toolbox implements state-of-the-art interior-point ... equation. For instance, problems with a thousand design variables typically take over an hour...
  • LAPACK

  • Referenced in 1178 articles [sw00503]
  • Basic Linear Algebra Subprograms (BLAS). LAPACK is designed at the outset to exploit the Level...
  • ARPACK

  • Referenced in 581 articles [sw04218]
  • ARPACK is a collection of Fortran77 subroutines designed to solve large scale eigenvalue problems ... package is designed to compute a few eigenvalues and corresponding eigenvectors of a general ... from significant application areas. The software is designed to compute a few (k) eigenvalues with...
  • PETSc

  • Referenced in 642 articles [sw04012]
  • However, the power of the PETSc design and the algorithms it incorporates may make...
  • VRP

  • Referenced in 615 articles [sw05207]
  • years ago, this problem consists in designing the optimal set of routes for fleet...
  • GAMS

  • Referenced in 607 articles [sw04978]
  • General Algebraic Modeling System (GAMS) is specifically designed for modeling linear, nonlinear and mixed integer...
  • LINPACK

  • Referenced in 394 articles [sw04209]
  • preserving locality of reference. LINPACK was designed for supercomputers in use in the 1970s ... largely superceded by LAPACK, which has been designed to run efficiently on shared-memory, vector...
  • ANSYS

  • Referenced in 390 articles [sw00044]
  • field of engineering simulation that a design process requires. Organizations around the world trust ANSYS ... ANSYS Advantages add value to the engineering design process by delivering efficiency, driving innovation...
  • Chaff

  • Referenced in 464 articles [sw06916]
  • range of applications in Electronic Design Automation (EDA), as well as in Artificial Intelligence...
  • Simulink

  • Referenced in 306 articles [sw04348]
  • environment for multidomain simulation and Model-Based Design for dynamic and embedded systems. It provides ... block libraries that let you design, simulate, implement, and test a variety of time-varying...
  • CUTEr

  • Referenced in 424 articles [sw04010]
  • Matlab tools intended to help developers design, compare and improve new and existing solvers...
  • SDPT3

  • Referenced in 387 articles [sw04009]
  • This software is designed to solve conic programming problems whose constraint cone is a product...
  • SNOPT

  • Referenced in 363 articles [sw02300]
  • solving the QP subproblems. It is designed for problems with many thousands of constraints...
  • Scatter Search

  • Referenced in 235 articles [sw05291]
  • called reference solutions and employing strategic designs that exploit context knowledge. In contrast to other ... founded on the premise that systematic designs and methods for creating new solutions afford significant...
  • ScaLAPACK

  • Referenced in 318 articles [sw00830]
  • continuation of the LAPACK project, which designed and produced analogous software for workstations, vector supercomputers...
  • Nuprl

  • Referenced in 318 articles [sw06751]
  • mathematics and programming. Over the years its design has been substantially improved to meet...
  • NuSMV

  • Referenced in 228 articles [sw04131]
  • checker based on BDDs. NuSMV has been designed to be an open architecture for model ... reliably used for the verification of industrial designs, as a core for custom verification tools...