• 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...