• MiniTab

  • Referenced in 2 articles [sw26324]
  • rule splits the current branch in the tableaux by adding the cases that the existentially...
  • TGC

  • Referenced in 1 article [sw11989]
  • Goré [10]. The prover, called TGC for Tableaux with Global Caching”, checks satisfiability...
  • HyLoBan

  • Referenced in 1 article [sw17659]
  • based approach that makes use HyLoTab, a tableaux-based theorem prover for hybrid logic under...
  • DARR

  • Referenced in 1 article [sw25431]
  • default logics. A modified version of semantic tableaux method is used to implement the propositional...
  • DysToPic

  • Referenced in 1 article [sw31857]
  • Prolog implementation of a labelled, two-phase tableaux calculus for ALC+Tmin whose basic idea...
  • genyoungtabtikz

  • Referenced in 1 article [sw32665]
  • LaTeX package for drawing Young diagrams and tableaux, inspired by the youngtab package by Volker...
  • OrientedSwaps

  • Referenced in 1 article [sw35044]
  • package to the 2019 paper ”Staircase Young tableaux, sorting networks and last passage percolation...
  • SpechtModule

  • Referenced in 0 articles [sw31578]
  • algorithms for calculating list of tableaux given a partition (tabloids, standard tableaux and semistandard tableaux...
  • Molle

  • Referenced in 0 articles [sw05747]
  • modal logic. It exploits the modal semantic tableaux method. It features a very usable graphical...
  • Cadabra

  • Referenced in 83 articles [sw00097]
  • Cadabra is a powerful computer program for the...
  • CLIFFORD

  • Referenced in 80 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • Coq

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

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

  • Referenced in 138 articles [sw00344]
  • The gfun package provides tools for determining and...
  • ILTP

  • Referenced in 26 articles [sw00437]
  • The Intuitionistic Logic Theorem Proving (ILTP) library provides...
  • Invar

  • Referenced in 31 articles [sw00446]
  • The Invar Tensor Package. The Invar package is...
  • Isabelle

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

  • Referenced in 261 articles [sw00509]
  • In the core computer science areas -- data structures...
  • LinBox

  • Referenced in 40 articles [sw00522]
  • LinBox: A Generic Library for Exact Linear Algebra...
  • Macaulay2

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