• MinisatID

  • Referenced in 1 article [sw14760]
  • ground Lparse. Can transform the input theory into CNF or FlatZinc. Extensible, open-source research ... with clasp (winner) in the NP category in the 3rd ASP competition...
  • mcmequate

  • Referenced in 1 article [sw25319]
  • Choice Model. This software performs item response theory (IRT) equating using the characteristic curve method ... must have the same number of response categories), and the software has not been throughly...
  • ATLAS

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

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

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

  • Referenced in 621 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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

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

  • Referenced in 64 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • DEA

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

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

  • Referenced in 19 articles [sw00374]
  • Grail is a symbolic computation environment for finite...
  • homalg

  • Referenced in 26 articles [sw00411]
  • homalg: a meta-package for homological algebra. The...
  • Isabelle

  • Referenced in 606 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LEO-II

  • Referenced in 51 articles [sw00512]
  • LEO-II is a standalone, resolution-based higher...
  • Macaulay2

  • Referenced in 1658 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 2857 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5040 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathemagix

  • Referenced in 39 articles [sw00553]
  • Mathemagix: Towards large scale programming for symbolic and...