• ESTIMA

  • Referenced in 15 articles [sw00249]
  • System identification is an iterative model building process...
  • Fermat

  • Referenced in 41 articles [sw00277]
  • Fermat is a computer algebra system (CAS) for...
  • GAP

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

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

  • Referenced in 6 articles [sw00356]
  • GLie; a MAPLE program for Lie supersymmetries of...
  • gmp

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

  • Referenced in 22 articles [sw00367]
  • GnT is an experimental implementation of the stable...
  • GRASP92

  • Referenced in 22 articles [sw00380]
  • We describe a suite of programs for multiconfiguration...
  • HSL

  • Referenced in 274 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • HURRY

  • Referenced in 27 articles [sw00420]
  • HURRY: An acceleration algorithm for scalar sequences and...
  • hypre

  • Referenced in 287 articles [sw00426]
  • hypre is a software library for the solution...
  • I2Geo

  • Referenced in 5 articles [sw00428]
  • This paper describes I2Geo, the platform of the...
  • InterViewer

  • Referenced in 29 articles [sw00443]
  • InterViewer: Dynamic visualization of protein-protein interactions From...
  • Isabelle

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

  • Referenced in 47 articles [sw00459]
  • The ITPACK project: Past, present, and future The...
  • JaVis

  • Referenced in 4 articles [sw00469]
  • JaVis: A UML-Based Visualization and Debugging Environment...
  • JMP

  • Referenced in 54 articles [sw00476]
  • For more than 20 years, JMP statistical discovery...