• VMTL

  • Referenced in 8 articles [sw10065]
  • automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention ... analyzing the termination behaviour of conditional term rewriting systems (CTRSs). Using one of the latest...
  • Conditional Confluence

  • Referenced in 7 articles [sw13315]
  • automatic confluence checker for first-order conditional term rewrite systems. The tool implements various confluence ... simple technique is presented to test conditional critical pairs for infeasibility, which makes conditional confluence...
  • ConCon

  • Referenced in 2 articles [sw21589]
  • Reliable Confluence Checker for Conditional Term Rewrite Systems. ConCon is a fully automatic confluence checker ... oriented first-order conditional term rewrite systems (CTRSs). It is written in Scala and available...
  • SPEKTR

  • Referenced in 3 articles [sw01114]
  • consists of axioms represented by generalized condition term rewriting rules, strategies of their application ... standard form of axioms is extended by conditions in premises and in the built...
  • TRAM

  • Referenced in 2 articles [sw03369]
  • abstract machine for order-sorted conditional term rewritting systems (OSCTRSs). The OSCTRSs can serve ... strategy may control parallelism suitably by combining conditions. In this paper, we describe the design...
  • CO3

  • Referenced in 1 article [sw28113]
  • tool for proving confluence of conditional term rewriting systems (CTRS) by using a transformational approach...
  • Java+ITP

  • Referenced in 8 articles [sw32259]
  • translated into semantically equivalent first-order verification conditions (VCs) which are then sent to Maude ... long-term goal of this project is to use extensible and modular rewriting logic semantics...
  • OperatorGB

  • Referenced in 2 articles [sw36831]
  • polynomial expression is not valid in terms of operators, since it may not be compatible ... context of rewriting and polynomial reduction. We give a sufficient condition on the polynomials used...
  • ATLAS

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

  • Referenced in 279 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Coq

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

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

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

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

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

  • Referenced in 5124 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

  • Referenced in 536 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • nauty

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