• LAPACK

  • Referenced in 1590 articles [sw00503]
  • provide a transportable way to achieve high efficiency on diverse modern machines ... portable” because, for fastest possible performance, LAPACK requires that highly optimized block matrix operations ... promotes high efficiency on many high-performance computers, particularly if specially coded implementations are provided ... BLAS are available for many modern high-performance computers. For details of known vendor...
  • Maude

  • Referenced in 655 articles [sw06233]
  • Maude is a high-performance reflective language and system supporting both equational and rewriting logic...
  • FEniCS

  • Referenced in 493 articles [sw04314]
  • comprehensive library of finite elements, high performance linear algebra and many more...
  • z3

  • Referenced in 475 articles [sw04887]
  • high-performance theorem prover being developed at Microsoft Research.Z3 supports linear real and integer arithmetic...
  • ScaLAPACK

  • Referenced in 397 articles [sw00830]
  • LAPACK. It is a library of high-performance linear algebra routines for distributed memory message...
  • OCaml

  • Referenced in 269 articles [sw06363]
  • implementation of this language, featuring a high-performance native-code compiler (ocamlopt) for 9 processor...
  • PARDISO

  • Referenced in 258 articles [sw00679]
  • package PARDISO is a thread-safe, high-performance, robust, memory efficient and easy...
  • NTL

  • Referenced in 196 articles [sw00638]
  • high-performance, portable C++ library providing data structures and algorithms for manipulating signed, arbitrary length...
  • ATLAS

  • Referenced in 195 articles [sw00056]
  • instantiation of a new paradigm in high performance library production and maintenance, which we term...
  • FEATFLOW

  • Referenced in 184 articles [sw04254]
  • algorithmical ideas in combination with high performance computational techniques. FEATFLOW is designed for the following...
  • SuperLU

  • Referenced in 164 articles [sw00930]
  • nonsymmetric systems of linear equations on high performance machines. The library is written...
  • DUNE

  • Referenced in 132 articles [sw01466]
  • efficiency in scientific computations and supports high-performance computing applications...
  • SETHEO

  • Referenced in 119 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper deals with a theoretical background and practical...
  • Chaco

  • Referenced in 116 articles [sw09640]
  • Partitioning Graphs. Before a calculation can be performed on a parallel computer, it must first ... parallel applications, and to ensure that high performance is obtained. Chaco has contributed...
  • OpenMPI

  • Referenced in 79 articles [sw13111]
  • High Performance Message Passing Library. The Open MPI Project is an open source Message Passing ... resources from all across the High Performance Computing community in order to build the best...
  • Cactus

  • Referenced in 78 articles [sw04422]
  • such frameworks to support multi-platform, high performance applications across diverse communities. We then describe ... complete rewrite of earlier versions, which enables highly modular, multi-language, parallel applications ... interchangeable parallel data distribution and high performance IO layers, while hiding most details...
  • FEAST

  • Referenced in 75 articles [sw04025]
  • FEAST solver package is a free high-performance numerical library for solving the standard ... offers many important capabilities for achieving high performance, robustness, accuracy, and scalability on parallel architectures...
  • COIN-OR

  • Referenced in 96 articles [sw04615]
  • source licenses have produced high-quality, high-performance code---code on which much...
  • ANSYS-CFX

  • Referenced in 94 articles [sw06391]
  • ANSYS CFX software is a high-performance, general purpose fluid dynamics program that has been ... accurate solutions quickly and robustly. The modern, highly parallelized solver is the foundation...
  • CLAPACK

  • Referenced in 89 articles [sw03112]
  • wide range of modern high-performance computers. Intended to be the successor to LINPACK...