• BEMLIB

• Referenced in 68 articles [sw00005]
• BEMLIB is a boundary-element software library of...

• ACRITH-XSC

• Referenced in 42 articles [sw00015]
• ACRITH-XSC is a Fortran-like programming language...

• ADOL-C

• Referenced in 186 articles [sw00019]
• ADOL-C: Automatic Differentiation of C/C++ We present...

• AMD

• Referenced in 40 articles [sw00039]
• Algorithm 837: AMD is a set of routines...

• ANSYS

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

• Apron

• Referenced in 51 articles [sw00045]
• Apron: a library of numerical abstract domains for...

• ARfit

• Referenced in 32 articles [sw00046]
• ARfit is a collection of Matlab modules for...

• ASTA

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

• AXIOM

• Referenced in 161 articles [sw00063]
• Axiom is a general purpose Computer Algebra system...

• BARON

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

• BPMPD

• Referenced in 36 articles [sw00088]
• BPMPD is a state-of-the-art implementation...

• CATPAC

• Referenced in 2 articles [sw00110]
• CATPAC - An interactive software package for control system...

• CCSP

• Referenced in 14 articles [sw00111]
• CCSP: A formal system for distributed program debugging...

• cdd

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

• CGAL

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

• CLAN

• Referenced in 8 articles [sw00129]
• CLAN: A tool for contract analysis and conflict...

• CLUCalc

• Referenced in 25 articles [sw00133]
• CLUCalc is a freely available software tool for...

• CMBSlib

• Referenced in 3 articles [sw00135]
• CMBSlib is a library of computational models of...

• CoCoA

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

• COMPAS

• Referenced in 14 articles [sw00147]
• In this paper we describe COMPAS -- the open...