• CGAL

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

  • Referenced in 5 articles [sw00164]
  • CPBPV: a constraint-programming framework for bounded program...
  • LAPACK

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

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

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

  • Referenced in 419 articles [sw00610]
  • Produced by experts for use in a variety...
  • SageMath

  • Referenced in 1741 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • FreeFem++

  • Referenced in 1134 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...
  • BLAST

  • Referenced in 127 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is...
  • KRAKATOA

  • Referenced in 86 articles [sw03159]
  • The KRAKATOA tool for certification of JAVA/JAVACARD programs...
  • SPIN

  • Referenced in 715 articles [sw03455]
  • Spin is a popular open-source software tool...
  • PETSc

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

  • Referenced in 162 articles [sw04046]
  • TetGen, a Delaunay-Based Quality Tetrahedral Mesh Generator...
  • UCI-ml

  • Referenced in 3127 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • RODAS

  • Referenced in 1605 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...
  • LINPACK

  • Referenced in 515 articles [sw04209]
  • LINPACK is a collection of Fortran subroutines that...
  • FEniCS

  • Referenced in 636 articles [sw04314]
  • The FEniCS Project is a collaborative project for...
  • OpenFOAM

  • Referenced in 421 articles [sw04317]
  • The OpenFOAM® (Open Field Operation and Manipulation) CFD...
  • Why3

  • Referenced in 130 articles [sw04438]
  • Why3 is a platform for deductive program verification...