Results 1 to 20 of 58
Sort by:

  • CGAL
  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...

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

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

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

  • PARDISO
  • Referenced in 287 articles [sw00679]
  • The package PARDISO is a thread-safe, high...

  • ScaLAPACK
  • Referenced in 418 articles [sw00830]
  • ScaLAPACK is an acronym for scalable linear algebra...

  • SuperLU
  • Referenced in 195 articles [sw00930]
  • SuperLU is a general purpose library for the...

  • PRISM
  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...

  • ELLPACK
  • Referenced in 131 articles [sw01208]
  • Interactive ELLPACK: An interactive problem-solving environment for...

  • Ada95
  • Referenced in 293 articles [sw01753]
  • Ada is a structured, statically typed, imperative, wide...

  • MENUS-PGG
  • Referenced in 3 articles [sw02138]
  • MENUS-PGG: A mapping environment for unstructured and...

  • FLASH
  • Referenced in 46 articles [sw02233]
  • FLASH, a fast multivariate signature algorithm. This article...

  • AMIGO
  • Referenced in 10 articles [sw02425]
  • AMIGO: Advanced multidimensional interval analysis global optimization algorithm...

  • BLAS
  • Referenced in 497 articles [sw03216]
  • Low-level utilities common to many mathematical software...

  • CUDA
  • Referenced in 1325 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...

  • PVS
  • Referenced in 629 articles [sw03484]
  • PVS is a verification system: that is, a...

  • PETSc
  • Referenced in 1584 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...

  • MUMPS
  • Referenced in 504 articles [sw04013]
  • Solution of large linear systems with symmetric positive...

  • Trilinos
  • Referenced in 409 articles [sw04028]
  • Each Trilinos package is a self-contained, independent...

  • METIS
  • Referenced in 468 articles [sw04089]
  • METIS is a set of serial programs for...