• ARMS

  • Referenced in 56 articles [sw00048]
  • ARMS: an algebraic recursive multilevel solver for general...
  • ASTRA

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

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

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

  • Referenced in 161 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 233 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BoomerAMG

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

  • Referenced in 91 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • Cider

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

  • Referenced in 127 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • CMIT

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

  • Referenced in 529 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 1298 articles [sw00161]
  • Coq is a formal proof management system. It...
  • DEA

  • Referenced in 212 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 2092 articles [sw00320]
  • GAP is a system for computational discrete algebra...