• CGAL

  • Referenced in 334 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 1582 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Mathematica

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

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

  • Referenced in 373 articles [sw00610]
  • Produced by experts for use in a variety...
  • FreeFem++

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

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

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

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

  • Referenced in 1091 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • UCI-ml

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

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

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

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

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

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

  • Referenced in 188 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...