• ACETAF

  • Referenced in 6 articles [sw00014]
  • ACETAF: A software package for computing validated bounds...
  • ADOL-C

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

  • Referenced in 20 articles [sw00038]
  • AMBRE - a Mathematica package for the construction of...
  • ANSYS

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

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

  • Referenced in 30 articles [sw00098]
  • CADNA: a library for estimating round-off error...
  • CELEFUNT

  • Referenced in 4 articles [sw00117]
  • Algorithm 714: CELEFUNT: a portable test package for...
  • CHABIS

  • Referenced in 15 articles [sw00119]
  • Algorithm 666. CHABIS: A mathematical software package for...
  • CoCoA

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

  • Referenced in 3 articles [sw00152]
  • Algorithm 707: CONHYP: A numerical evaluator of the...
  • CSDP

  • Referenced in 159 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • C-XSC

  • Referenced in 89 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • Engel

  • Referenced in 2 articles [sw00238]
  • Engel expansions of q-series by computer algebra...
  • Expokit

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

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

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

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

  • Referenced in 48 articles [sw00332]
  • We present a recently developed Maple-based “GeM...
  • gfun

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