• QASM

  • Referenced in 1 article [sw37836]
  • define a dynamic logic for QASM (Quantum Assembly) programming language, a language that requires ... handling of quantum and probabilistic information. We provide a syntax ... model to this logic, providing a probabilistic semantics to the classical part. We exercise ... with the quantum coin toss program...
  • Density Compiler

  • Referenced in 6 articles [sw28659]
  • probability spaces described by programs in a probabilistic functional language. In this work, we implement ... modelled directly in the theorem prover’s logic is defined and proved sound. Then, this...
  • Pronto

  • Referenced in 3 articles [sw14757]
  • Logic (DL) reasoner capable of processing knowledge bases containing about a thousand of probabilistic axioms ... describe in detail the novel probabilistic satisfiability (PSAT) algorithm which lies at the heart ... which, first, enables applying well-known linear programming techniques to non-propositional PSAT and, second...
  • NMRDPP

  • Referenced in 6 articles [sw10437]
  • Markovian reward function in temporal logic, to automatically translate the NMRDP into an equivalent ... describe in detail. These include dynamic programming, heuristic search, and structured methods. Using NMRDPP ... special case. In the First International Probabilistic Planning Competition, NMRDPP was able to compete...
  • Warmr

  • Referenced in 2 articles [sw37013]
  • methods from the field of Inductive Logic Programming (ILP) have potential advantages for structural chemical ... frequent substructures was to convert them into probabilistic prediction rules relating compound description to carcinogenesis...
  • ANSYS

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

  • Referenced in 69 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • 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...
  • CLPS-B

  • Referenced in 7 articles [sw00132]
  • This paper proposes an approach to the evaluation...
  • Coq

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

  • Referenced in 3 articles [sw00208]
  • dl2asp: implementing default logic via answer set programming...
  • 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...
  • LEDA

  • Referenced in 263 articles [sw00509]
  • In the core computer science areas -- data structures...
  • 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...