• CHEMSODE

  • Referenced in 11 articles [sw00124]
  • The ODEs describing a chemical kinetics system can...
  • CLIFFORD

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

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

  • Referenced in 30 articles [sw00145]
  • Two codes are discussed, COLAMD and SYMAMD, that...
  • Concepts

  • Referenced in 22 articles [sw00151]
  • The authors show how mathematical concepts can be...
  • conley

  • Referenced in 10 articles [sw00154]
  • conley: Computing connection matrices in Maple. We announce...
  • CONSLAW

  • Referenced in 7 articles [sw00155]
  • An improved algorithm to explicitly compute the polynomial...
  • CONVODE

  • Referenced in 1 article [sw00156]
  • The paper reports on the computer-algebra program...
  • COOPT

  • Referenced in 5 articles [sw00158]
  • The paper is devoted to promoting and describing...
  • Coq

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

  • Referenced in 23 articles [sw00162]
  • COSTA is a research prototype which performs automatic...
  • CSDP

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

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

  • Referenced in 126 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • DETools

  • Referenced in 4 articles [sw00198]
  • A MuPAD library for differential equations. We present...
  • Diffpack

  • Referenced in 115 articles [sw00203]
  • As modern programming methodologies migrate from computer science...
  • EPDCOL

  • Referenced in 18 articles [sw00240]
  • The software package PDECOL [7] is a popular...
  • EPIMK2

  • Referenced in 1 article [sw00241]
  • EPIMK2-an innovative stiff systems solver. We demonstrate...
  • Epsilon

  • Referenced in 41 articles [sw00244]
  • Epsilon is a library of functions implemented in...