Results 1 to 20 of 199
Sort by:

  • ADOL-C
  • Referenced in 206 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 14 articles [sw00078]
  • Clifford and Graßmann Hopf algebras via the BIGEBRA...

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

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

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

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

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

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

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

  • GeM
  • Referenced in 63 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 230 articles [sw00363]
  • GMP is a free library for arbitrary precision...

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

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

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

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