
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 tableauxbased 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, twophase 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...