• NESCOND

  • Referenced in 5 articles [sw10041]
  • present NESCOND, a theorem prover for normal conditional logics. NESCOND implements some recently introduced NESted...
  • lp2normal

  • Referenced in 7 articles [sw25505]
  • lp2normal -- a normalization tool for extended logic programs. Answer set programming (ASP) features a rich ... modeling language for encoding search problems. While normal rules form the simplest rule type ... conditions and constraints. Normalization means replacing such extended rules with identically functioning sets of normal ... normalizer that acts as a filter on ground logic programs produced by grounders, such...
  • Lolliproc

  • Referenced in 5 articles [sw22624]
  • primitives for concurrency that have a direct logical interpretation and that combine to provide ... normalization, and confluence results, which, among other things, guarantees freedom from deadlocks and race conditions...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ACL2

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

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

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

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

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

  • Referenced in 44 articles [sw00244]
  • Epsilon is a library of functions implemented in...
  • GAP

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

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

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

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

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • nauty

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • PolyBoRi

  • Referenced in 48 articles [sw00723]
  • Polybori: A framework for Gröbner-basis computations with...