• BARON

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

  • Referenced in 9 articles [sw00099]
  • CAGE: A tool for parallel genetic programming applications...
  • cdd

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

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

  • Referenced in 142 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • CoCoA

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

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

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

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

  • Referenced in 194 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • Cuba

  • Referenced in 55 articles [sw00173]
  • Cuba -- a library for multidimensional numerical integration. The...
  • Diffpack

  • Referenced in 111 articles [sw00203]
  • As modern programming methodologies migrate from computer science...
  • DRAGON

  • Referenced in 14 articles [sw00220]
  • Dragon is an application for the calculation of...
  • Expokit

  • Referenced in 171 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • FGb

  • Referenced in 235 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • FLINT

  • Referenced in 42 articles [sw00297]
  • Fast library for number theory: an introduction. We...
  • GAP

  • Referenced in 2735 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gfun

  • Referenced in 130 articles [sw00344]
  • The gfun package provides tools for determining and...