• ADF95

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

  • Referenced in 172 articles [sw00019]
  • ADOL-C: 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 404 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 207 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BPMPD

  • Referenced in 36 articles [sw00088]
  • BPMPD is a state-of-the-art 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 226 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 489 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • CoCoALib

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

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