• AGD

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

• Aligator

• Referenced in 8 articles [sw00029]
• We describe the new software package Aligator for...

• AMBRE

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

• ATLAS

• Referenced in 188 articles [sw00056]
• This paper describes the Automatically Tuned Linear Algebra...

• ACL2

• Referenced in 239 articles [sw00060]
• ACL2 is both a programming language in which...

• 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...

• BPOLY

• Referenced in 12 articles [sw00089]
• Algorithm 812: BPOLY: An object-oriented library of...

• CASA

• Referenced in 62 articles [sw00108]
• CASA is a special-purpose system for computational...

• cdd

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

• CGAL

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

• Cinderella

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

• CLIFFORD

• Referenced in 51 articles [sw00131]
• CLIFFORD performs various computations in Grass mann and...

• CLUCalc

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

• CoCoA

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

• CoCoALib

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

• Coq

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

• CSDP

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

• Cuba

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

• C-XSC

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