• ARMS

  • Referenced in 46 articles [sw00048]
  • The paper describes new recursive multilevel method for...
  • ASTRA

  • Referenced in 12 articles [sw00052]
  • Fault Tree Analysis (FTA) is a formalised deductive...
  • ATLAS

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

  • Referenced in 152 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • Bagel

  • Referenced in 2 articles [sw00065]
  • This paper presents two coupled software packages which...
  • BARON

  • Referenced in 203 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BoomerAMG

  • Referenced in 74 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • Cider

  • Referenced in 4 articles [sw00126]
  • Smart Diagram Environments (SDEs) are software applications that...
  • CMIT

  • Referenced in 3 articles [sw00137]
  • We present an LP model for resource deployment...
  • CoCoA

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

  • Referenced in 14 articles [sw00147]
  • In this paper we describe COMPAS -- the open...
  • Coq

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

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

  • Referenced in 5 articles [sw00207]
  • The paper describes the features of the DISNEL...
  • ESTIMA

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

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

  • Referenced in 7 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 161 articles [sw00363]
  • GMP is a free library for arbitrary precision...