• XSB

  • Referenced in 144 articles [sw13877]
  • Logic Programming and Deductive Database system for Unix and Windows. XSB Prolog. It is being ... Universidade Nova de Lisboa, XSB Inc., and Coherent Knowlege Systems...
  • ArgoCLP

  • Referenced in 12 articles [sw07192]
  • coherent logic based geometry theorem prover capable of producing formal and readable proofs A theorem ... prover for coherent logic, called ArgoCLP, is presented. It is applied to geometry proofs. Coherent ... logic is a fragment of first-order logic. The structure of the formulae is restricted ... formulae which are conjunctions of atoms.par Coherent logic offers different advantages in the context...
  • CoALP

  • Referenced in 20 articles [sw16105]
  • derivations and parallelism, as execution of such logic programs can have both recursive and corecursive ... been implementation-led. Here, we give a coherent semantics-led account of the issues, starting ... implementation of a new dialect, CoALP, of logic programming, characterised by guarded lazy corecursion...
  • Breach

  • Referenced in 26 articles [sw20822]
  • describe Breach, a Matlab/C++ toolbox providing a coherent set of simulation-based techniques aimed ... robust monitoring of metric interval temporal logic (MITL) formulas. The application domain of Breach ranges...
  • BRECCIA

  • Referenced in 1 article [sw31708]
  • probabilistic logic system which determines a coherent overall response to the query and the probability...
  • Paraconsistency

  • Referenced in 1 article [sw28572]
  • handling inconsistency in a coherent way. In classical and intuitionistic logic everything follows from...
  • SenHint

  • Referenced in 0 articles [sw36774]
  • linguistic hints into a coherent reasoning model based on Markov Logic Network (MLN). In SenHint...
  • ANSYS

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

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

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

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

  • Referenced in 31 articles [sw00326]
  • We present GCLC/WinGCLC -- a tool for visualizing geometrical...
  • 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...
  • 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...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...