• Magma

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

  • Referenced in 1019 articles [sw04707]
  • system. This software is copyright by Zbigniew Michalewicz. Permission is granted to copy ... software for scientific, noncommercial purposes only. The software is provided ”as is”, i.e., without...
  • DLMF

  • Referenced in 1487 articles [sw04968]
  • references, methods of computation, and links to software. Special features of the Web site include...
  • Macaulay2

  • Referenced in 1364 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting research in algebraic geometry and commutative algebra...
  • PETSc

  • Referenced in 954 articles [sw04012]
  • users. PETSc is a sophisticated set of software tools; as such, for some users ... advantage of the features that enable efficient software use. However, the power of the PETSc...
  • SageMath

  • Referenced in 1254 articles [sw00825]
  • Sage (SageMath) is free, open-source math software that supports research and teaching in algebra...
  • SAS

  • Referenced in 1240 articles [sw06377]
  • Analysis System) is an integrated system of software products provided by SAS Institute...
  • ARPACK

  • Referenced in 730 articles [sw04218]
  • usual order n2 floating point operations. This software is based upon an algorithmic variant ... matrix on a vector is needed. ARPACK software is capable of solving large scale symmetric ... generalized eigenproblems from significant application areas. The software is designed to compute...
  • minpack

  • Referenced in 637 articles [sw05310]
  • Notes on optimization software. This paper is an attempt to indicate the current state ... optimization software and the search directions which should be considered in the near future. There ... relevant to the development of general optimization software. I have tried to focus on those ... particularly relevant to the development of software for optimization libraries. In the second part...
  • SPIN

  • Referenced in 667 articles [sw03455]
  • Spin is a popular open-source software tool, used by thousands of people worldwide, that ... used for the formal verification of distributed software systems. The tool was developed at Bell ... Sciences Research Center, starting in 1980. The software has been available freely since ... tool was awarded the prestigious System Software Award...
  • AUTO

  • Referenced in 740 articles [sw01059]
  • AUTO is a software for continuation and bifurcation problems in ordinary differential equations, originally developed ... parabolic PDEs. It also includes the software HOMCONT for the bifurcation analysis of homoclinic orbits...
  • ANSYS

  • Referenced in 576 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans the entire range of physics, providing access ... 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...
  • Python

  • Referenced in 903 articles [sw14460]
  • systems, allowing the distribution of Python-based software for use on those environments without requiring...
  • bootstrap

  • Referenced in 877 articles [sw19105]
  • Book ”An Introduction to the Bootstrap”. Software (bootstrap, cross-validation, jackknife) and data...
  • Isabelle/HOL

  • Referenced in 833 articles [sw01569]
  • proving the correctness of computer hardware or software and proving properties of computer languages...
  • GAMS

  • Referenced in 778 articles [sw04978]
  • details of the specific machine and system software implementation. GAMS is especially useful for handling...
  • GitHub

  • Referenced in 758 articles [sw23170]
  • commonly used to host open-source software projects.[6] As of April 2017, GitHub reports...
  • 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...
  • MACSYMA

  • Referenced in 690 articles [sw01209]
  • general purpose symbolic-numerical-graphical mathematics software product. Computer algebra system...
  • Z-Tree

  • Referenced in 495 articles [sw11707]
  • Experiments. z-Tree is a widely used software package for developing and carrying out economic ... example. We began the development of the software in 1998, and have continually added...