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

CPBPV
 Referenced in 5 articles
[sw00164]
 CPBPV: a constraintprogramming 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 highlevel 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, opensource 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 opensource software tool...

PETSc
 Referenced in 1218 articles
[sw04012]
 The Portable, Extensible Toolkit for Scientiﬁc Computation (PETSc...

TetGen
 Referenced in 162 articles
[sw04046]
 TetGen, a DelaunayBased Quality Tetrahedral Mesh Generator...

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