
Aletheia
 Referenced in 1 article
[sw34338]
 static security checkers. The key idea is to apply statistical learning to the warnings output ... analysis based on user feedback on a small set of warnings. This leads...

complib
 Referenced in 34 articles
[sw00149]
 COMPlib: COnstraint matrixoptimization problem library–a collection...

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

Maple
 Referenced in 5363 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6337 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13460 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

PLTMG
 Referenced in 215 articles
[sw00717]
 PLTMG 11.0 is a package for solving elliptic...

QEPCAD
 Referenced in 283 articles
[sw00752]
 QEPCAD B: A program for computing with semi...

R
 Referenced in 9810 articles
[sw00771]
 R is a language and environment for statistical...

REDUCE
 Referenced in 746 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

MACSYMA
 Referenced in 720 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

ML
 Referenced in 522 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

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

ADIFOR
 Referenced in 254 articles
[sw02185]
 ADIFOR is a tool for the automatic differentiation...

SNOPT
 Referenced in 543 articles
[sw02300]
 SNOPT: An SQP algorithm for largescale constrained...

DASSL
 Referenced in 262 articles
[sw03174]
 Subroutine DDASSL uses the backward differentiation formulas of...

LBFGS
 Referenced in 805 articles
[sw03229]
 Algorithm 778: LBFGSB Fortran subroutines for...

deal.ii
 Referenced in 631 articles
[sw03516]
 deal.II is a C++ program library targeted at...

Haskell
 Referenced in 879 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

SeDuMi
 Referenced in 1272 articles
[sw04002]
 SeDuMi is a Matlab toolbox for solving optimization...