• Matlab

  • Referenced in 11649 articles [sw00558]
  • 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...
  • Mathematica

  • Referenced in 5756 articles [sw00554]
  • renowned as the world’s ultimate application for computations. But it’s much more...
  • PETSc

  • Referenced in 1114 articles [sw04012]
  • blocks for the implementation of large-scale application codes on parallel (and serial) computers. PETSc ... 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 ... make the efficient implementation of many application codes simpler than “rolling them” yourself...
  • CUDA

  • Referenced in 1140 articles [sw03258]
  • developers building GPU-accelerated applications. The CUDA Toolkit includes a compiler for NVIDIA GPUs, math ... debugging and optimizing the performance of your applications. You’ll also find programming guides, user ... help you get started quickly accelerating your application with GPUs...
  • Coq

  • Referenced in 1758 articles [sw00161]
  • interactive development of machine-checked proofs. Typical applications include the formalization of programming languages semantics...
  • ABAQUS

  • Referenced in 1427 articles [sw04215]
  • problems covering a vast spectrum of industrial applications. In the automotive industry engineering work groups...
  • LIBSVM

  • Referenced in 1059 articles [sw04879]
  • users to easily apply SVM to their applications. LIBSVM has gained wide popularity in machine...
  • Isabelle/HOL

  • Referenced in 928 articles [sw01569]
  • formulas in a logical calculus. The main application is the formalization of mathematical proofs...
  • KernSmooth

  • Referenced in 880 articles [sw04586]
  • problems in general. To describe the principles, applications and analysis of kernel smoothers the authors...
  • AUTO

  • Referenced in 841 articles [sw01059]
  • benefit from multiple processors; therefore it is applicable to rather large systems of differential equations...
  • ARPACK

  • Referenced in 774 articles [sw04218]
  • symmetric, nonsymmetric, and generalized eigenproblems from significant application areas. The software is designed to compute...
  • Excel

  • Referenced in 745 articles [sw06848]
  • Microsoft Excel is a powerful spreadsheet application that can be used to create, analyze, present...
  • Maude

  • Referenced in 656 articles [sw06233]
  • programming for a wide range of applications. Maude has been influenced in important ways...
  • Uppaal

  • Referenced in 618 articles [sw04702]
  • channels or shared variables [WPD94, LPW97b]. Typical application areas include real-time controllers and communication...
  • AdaBoost.MH

  • Referenced in 441 articles [sw08517]
  • generalization of on-line learning and an application to boosting. In the first part ... slightly weaker in some cases, but applicable to a considerably more general class of learning...
  • PVS

  • Referenced in 603 articles [sw03484]
  • that it can be used for significant applications. PVS is a research prototype: it evolves...
  • Isabelle

  • Referenced in 601 articles [sw00454]
  • formulas in a logical calculus. The main application is the formalization of mathematical proofs...
  • SparseMatrix

  • Referenced in 600 articles [sw04629]
  • sparse matrices that arise in real applications. The Collection is widely used by the numerical...
  • OpenFOAM

  • Referenced in 369 articles [sw04317]
  • compiled into their own shared library. Executable applications are then created that are simply linked ... library functionality. OpenFOAM includes over 80 solver applications that simulate specific problems in engineering mechanics ... over 170 utility applications that perform pre- and post-processing tasks, e.g. meshing, data visualisation...
  • FLUENT

  • Referenced in 413 articles [sw04263]
  • Fluent have been installed.The primary CFD application on BlueBEAR is Ansys CFX - in particular, parallel ... installed to enable continued use of this application, but only serial (single core) jobs...