• LPDO

• Referenced in 3 articles [sw11549]
• systems of gauge invariants for separate operators and operator pairs, the Laplace transformation method...

• ADOL-C

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

• ACL2

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

• BIGEBRA

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

• CASA

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

• CLIFFORD

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

• CoCoA

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

• Coq

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

• EIGIFP

• Referenced in 40 articles [sw00235]
• eigifp is a MATLAB program for computing a...

• GAP

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

• GeM

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

• GITA

• Referenced in 8 articles [sw00353]
• GITA: A REDUCE program for the normalization of...

• gmp

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

• Hypexp

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

• LAPACK

• Referenced in 1626 articles [sw00503]
• LAPACK is written in Fortran 90 and provides...

• Macaulay2

• Referenced in 1658 articles [sw00537]
• Macaulay2 is a software system devoted to supporting...

• Magma

• Referenced in 2857 articles [sw00540]
• Computer algebra system (CAS). Magma is a large...

• Maple

• Referenced in 5040 articles [sw00545]
• The result of over 30 years of cutting...

• Mathematica

• Referenced in 5883 articles [sw00554]
• Almost any workflow involves computing results, and that...

• Matlab

• Referenced in 12074 articles [sw00558]
• MATLAB® is a high-level language and interactive...