• FVCOM

  • Referenced in 1 article [sw30142]
  • accurate discrete flux calculation in the integral form of the governing equations over an unstructured ... global momentum, mass, salt, heat, and tracer conservation. The ability of FVCOM to accurately solve...
  • conPAS

  • Referenced in 1 article [sw10953]
  • abstraction of the PWA system in the form of a control transition system. Second ... measurements and applied controls, both procedure are conservative and expensive...
  • EnergyPLAN

  • Referenced in 1 article [sw38557]
  • been under development since 1999 and has formed the basis for a substantial number ... implementation of energy efficiency improvements and energy conservation. This article describes the overall structure...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • BARON

  • Referenced in 357 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BoomerAMG

  • Referenced in 196 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • Coq

  • Referenced in 1898 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Gmsh

  • Referenced in 767 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • hypre

  • Referenced in 333 articles [sw00426]
  • hypre is a software library for the solution...
  • Isabelle

  • Referenced in 714 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • ISOGAT

  • Referenced in 310 articles [sw00457]
  • A tutorial 2D MATLAB code for solving elliptic...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1924 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 3344 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5375 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6360 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13559 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • Maxima

  • Referenced in 171 articles [sw00560]
  • Maxima is a system for the manipulation of...