• ADOL-C

• Referenced in 203 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 55 articles [sw00097]
• Cadabra is a powerful computer program for the...

• CLUCalc

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

• Coq

• Referenced in 1402 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 138 articles [sw00258]
• Expokit provides a set of routines aimed at...

• FGb

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

• GAP

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

• GeM

• Referenced in 62 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 224 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 45 articles [sw00425]
• HypExp 2, Expanding hypergeometric functions about half-integer...

• Isabelle

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

• Isolde

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