• CNOP

  • Referenced in 7 articles [sw00139]
  • CNOP - A package for constrained network optimization. We...
  • CoCoA

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

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

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

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

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

  • Referenced in 7 articles [sw00179]
  • This paper describes CVPP, a tool set for...
  • C-XSC 2.0

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

  • Referenced in 23 articles [sw00190]
  • Algorithm 698: DCUHRE: an adaptive multidemensional integration routine...
  • DEA

  • Referenced in 245 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • dl2asp

  • Referenced in 3 articles [sw00208]
  • dl2asp: implementing default logic via answer set programming...
  • EViews

  • Referenced in 39 articles [sw00254]
  • Eviews supports general statistical analysis and econometric analyses...
  • EVIM

  • Referenced in 10 articles [sw00255]
  • EVIM: a software package for extremel value analysis...
  • Expokit

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

  • Referenced in 13 articles [sw00290]
  • FINSLER: a computer algebra package for Finsler geometries...
  • FLAME

  • Referenced in 38 articles [sw00293]
  • We present a number of application program interfaces...