• Mathematica

  • Referenced in 6337 articles [sw00554]
  • Almost any workflow involves computing results, and that’s what Mathematica does—from building ... renowned as the world’s ultimate application for computations. But it’s much more...
  • Matlab

  • Referenced in 13460 articles [sw00558]
  • level language and interactive environment for numerical computation, visualization, and programming. Using MATLAB ... data, develop algorithms, and create models and applications. The language, tools, and built-in math ... MATLAB for a range of applications, including signal processing and communications, image and video processing ... control systems, test and measurement, computational finance, and computational biology. More than a million engineers...
  • PETSc

  • Referenced in 1541 articles [sw04012]
  • Portable, Extensible Toolkit for Scientific Computation (PETSc) is a suite of data structures and routines ... implementation of large-scale application codes on parallel (and serial) computers. PETSc uses ... time integrators that may be used in application codes written in Fortran, C, C++, Python ... many of the mechanisms needed within parallel application codes, such as parallel matrix and vector...
  • ARPACK

  • Referenced in 841 articles [sw04218]
  • eigenvalue problems. The package is designed to compute a few eigenvalues and corresponding eigenvectors ... eigenproblems from significant application areas. The software is designed to compute a few (k) eigenvalues...
  • DUNE

  • Referenced in 177 articles [sw01466]
  • scientific computations and supports high-performance computing applications...
  • DistMesh

  • Referenced in 297 articles [sw12766]
  • wide range of applications, including scientific computing and computer graphics. An unstructured simplex mesh requires...
  • gmp

  • Referenced in 282 articles [sw00363]
  • applications and research, Internet security applications, algebra systems, computational algebra research, etc. GMP is carefully...
  • Isabelle/HOL

  • Referenced in 1018 articles [sw01569]
  • formulas in a logical calculus. The main application is the formalization of mathematical proofs ... verification, which includes proving the correctness of computer hardware or software and proving properties...
  • COBOL

  • Referenced in 237 articles [sw01228]
  • oriented language) is a compiled English-like computer programming language designed for business ... still widely used in legacy applications deployed on mainframe computers, such as large-scale batch ... COBOL is now purely to maintain existing applications.[7] .. (wikipedia...
  • NAS Parallel Benchmarks

  • Referenced in 128 articles [sw08853]
  • benchmarks are derived from computational fluid dynamics (CFD) applications and consist of five kernels ... adaptive mesh, parallel I/O, multi-zone applications, and computational grids. Problem sizes...
  • Cactus

  • Referenced in 81 articles [sw04422]
  • framework for building a variety of computing applications in science and engineering, including astrophysics, relativity ... which enables highly modular, multi-language, parallel applications to be developed by single researchers ... most details of the underlying computational libraries from the application developer. We survey how Cactus ... will also enable these applications to run on the computational Grids of the near future...
  • SDPB

  • Referenced in 104 articles [sw23927]
  • many new computations. As an example application, we compute a new rigorous high-precision bound...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • formulas in a logical calculus. The main application is the formalization of mathematical proofs ... verification, which includes proving the correctness of computer hardware or software and proving properties...
  • FGb

  • Referenced in 247 articles [sw00286]
  • state-of-the-art algorithms for computing Gröbner bases: actually, from a research point ... been used in various applications (Robotic, Signal Theory, Biology, Computational Geometry, . . . ) and more recently...
  • OpenCV

  • Referenced in 116 articles [sw11376]
  • provide a common infrastructure for computer vision applications and to accelerate the use of machine ... both classic and state-of-the-art computer vision and machine learning algorithms. These algorithms...
  • SHOGUN

  • Referenced in 103 articles [sw03517]
  • have used this toolbox in several applications from computational biology, some of them coming with...
  • bootlib

  • Referenced in 426 articles [sw40642]
  • Their Application by Anthony Davison and David Hinkley. Bootstrap methods are computer-intensive methods...
  • Maude

  • Referenced in 698 articles [sw06233]
  • programming for a wide range of applications. Maude has been influenced in important ways ... programming, Maude also supports rewriting logic computation...
  • MADM

  • Referenced in 131 articles [sw06484]
  • supported by various real-world application examples. Also, computer codes for AHP, TOPSIS, DEA, PROMETHEE...
  • AUTO

  • Referenced in 942 articles [sw01059]
  • also do certain continuation and evolution computations for parabolic PDEs. It also includes the software ... benefit from multiple processors; therefore it is applicable to rather large systems of differential equations...