• Magma

  • Referenced in 2355 articles [sw00540]
  • Magma is a large, well-supported software package designed for computations in algebra, number theory...
  • ARPACK

  • Referenced in 727 articles [sw04218]
  • large scale eigenvalue problems. The package is designed to compute a few eigenvalues and corresponding ... usual order n2 floating point operations. This software is based upon an algorithmic variant ... eigenproblems from significant application areas. The software is designed to compute a few (k) eigenvalues...
  • SDPT3

  • Referenced in 527 articles [sw04009]
  • This software is designed to solve conic programming problems whose constraint cone is a product ... help the users in using our software, we also include some examples to illustrate...
  • PETSc

  • Referenced in 947 articles [sw04012]
  • that enable efficient software use. However, the power of the PETSc design and the algorithms...
  • UG

  • Referenced in 182 articles [sw04596]
  • flexible software toolbox for solving partial differential equations: Over the past two decades, some very ... abbreviation for Unstructured Grids) has been designed to overcome these problems. It provides very general ... this paper, we show the software design structure of UG and explore some...
  • ANSYS

  • Referenced in 574 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans the entire range of physics, providing access ... field of engineering simulation that a design process requires. Organizations around the world trust ANSYS ... best value for their engineering simulation software investment. Simulation-Driven Product Development takes engineering simulation ... unequalled depth and breadth of our software coupled with its unmatched engineered scalability, comprehensive multiphysics...
  • ScaLAPACK

  • Referenced in 377 articles [sw00830]
  • LAPACK project, which designed and produced analogous software for workstations, vector supercomputers, and shared memory...
  • OBJ3

  • Referenced in 125 articles [sw05370]
  • used for research and teaching in software design and specification, rapid prototyping, theorem proving, user...
  • SLAM

  • Referenced in 146 articles [sw03136]
  • uses and to aid software engineers in designing interfaces and software that ensure reliable...
  • PHCpack

  • Referenced in 184 articles [sw00705]
  • this paper the structure and design of the software package PHC is described. The main...
  • Ipopt

  • Referenced in 481 articles [sw04808]
  • software package for large-scale ​nonlinear optimization. It is designed to find (local) solutions...
  • CASL

  • Referenced in 159 articles [sw02235]
  • suitable for specifying requirements and design for conventional software packages It has restrictions to various...
  • Eiffel

  • Referenced in 99 articles [sw03522]
  • Object-Oriented Software Construction) and Eiffel Software. The design of the language is closely connected...
  • DACE

  • Referenced in 134 articles [sw04715]
  • DACE, Design and Analysis of Computer Experiments, is a Matlab toolbox for working with kriging ... computer models. Typical use of this software is to construct a kriging approximation model based ... computer model. The software also addresses the design of experiment problem, that is choosing...
  • RRL

  • Referenced in 55 articles [sw28904]
  • formal methods in hardware and software design. We provide a brief historical account of development...
  • channelflow

  • Referenced in 36 articles [sw07526]
  • intelligible form by using relatively modern software design. Channelflow consists of a software library...
  • Python

  • Referenced in 871 articles [sw14460]
  • general-purpose, interpreted, dynamic programming language. Its design philosophy emphasizes code readability, and its syntax ... systems, allowing the distribution of Python-based software for use on those environments without requiring...
  • Jason

  • Referenced in 56 articles [sw06187]
  • will also be of interest to software engineers, designers, developers, and programmers interested in multi...
  • TAO

  • Referenced in 35 articles [sw10597]
  • addition, we discuss how the software design facilitates algorithmic comparisons...