Results 1 to 20 of 180
Sort by:

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

  • AGD
  • Referenced in 12 articles [sw00022]
  • AGD-Library: A Library of Algorithms for Graph...

  • ALBERT
  • Referenced in 79 articles [sw00025]
  • ALBERT - Software for scientific computations and applications. Adaptive...

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

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

  • BIGEBRA
  • Referenced in 13 articles [sw00078]
  • Clifford and Graßmann Hopf algebras via the BIGEBRA...

  • Cadabra
  • Referenced in 48 articles [sw00097]
  • Cadabra is a powerful computer program for the...

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

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

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

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

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

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

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

  • GLie
  • Referenced in 6 articles [sw00356]
  • GLie; a MAPLE program for Lie supersymmetries of...

  • gmp
  • Referenced in 217 articles [sw00363]
  • GMP is a free library for arbitrary precision...

  • GRAPE
  • Referenced in 3 articles [sw00377]
  • GRAPE-Dileption is a Monte Carlo event generator...

  • Hypexp
  • Referenced in 45 articles [sw00425]
  • HypExp 2, Expanding hypergeometric functions about half-integer...

  • Isabelle
  • Referenced in 468 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...

  • Isolde
  • Referenced in 26 articles [sw00458]
  • ISOLDE, a Maple package for systems of linear...