
ACRITHXSC
 Referenced in 38 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

ADF95
 Referenced in 5 articles
[sw00017]
 ADF95: Tool for automatic differentiation of a FORTRAN...

ADOLC
 Referenced in 171 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++ We present...

ALCOR
 Referenced in 3 articles
[sw00026]
 Techniques for automatic program recognition, at the algorithmic...

ALLD
 Referenced in 2 articles
[sw00030]
 The ALLD simulation software implements a mesoscopic lattice...

Alpaga
 Referenced in 5 articles
[sw00032]
 Alpaga: A Tool for Solving Parity Games with...

ANSYS
 Referenced in 402 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ASTA
 Referenced in 16 articles
[sw00051]
 ASTA is a tool for research in predictions...

BACOL
 Referenced in 6 articles
[sw00064]
 BACOL is a new, high quality, robust software...

BARON
 Referenced in 203 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

BPMPD
 Referenced in 35 articles
[sw00088]
 BPMPD is a stateoftheart implementation...

CD++
 Referenced in 8 articles
[sw00112]
 CD++: a toolkit to develop DEVS models The...

cdd
 Referenced in 81 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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

CNOP
 Referenced in 6 articles
[sw00139]
 CNOP  A package for constrained network optimization. We...

CoCoA
 Referenced in 482 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

CoCoALib
 Referenced in 26 articles
[sw00144]
 CoCoALib: A C++ library for computations in commutative...

compositions
 Referenced in 7 articles
[sw00150]
 Compositional data analysis with `$R$’ and the package...

Coq
 Referenced in 1134 articles
[sw00161]
 Coq is a formal proof management system. It...