
CoLoSS
 Referenced in 14 articles
[sw07016]
 logics K, KD, Pauly’s coalition logic, graded modal logic, and probabilistic modal logic. Logics...

Cool
 Referenced in 4 articles
[sw11992]
 graded modal logic and Pauly’s coalition logic (the nextstep fragment of alternatingtime...

CLProver
 Referenced in 2 articles
[sw39245]
 resolution prover for coalition logic. We present a prototype tool for automated reasoning for Coalition ... resolutionbased calculus for Coalition Logic that operates on coalition problems, a normal form ... Coalition Logic. We provide an overview of coalition problems and of the resolutionbased calculus ... Coalition Logic. We then give details of the implementation of CLProver and present the results...

Maple
 Referenced in 5363 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6337 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13460 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

PSPLIB
 Referenced in 269 articles
[sw00740]
 PSPLIB  a project scheduling problem library. We present...

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

RelView
 Referenced in 102 articles
[sw00798]
 The RelViewSystem is an interactive tool for...

VerICS
 Referenced in 35 articles
[sw02011]
 Verics (VerICS) is our original tool for automated...

UCIml
 Referenced in 3379 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

CPLEX
 Referenced in 2766 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

Gurobi
 Referenced in 679 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...

NuSMV
 Referenced in 309 articles
[sw04131]
 NuSMV is a symbolic model checker developed as...

SNAP
 Referenced in 166 articles
[sw04184]
 Stanford Network Analysis Platform (SNAP) is a general...

Bioconductor
 Referenced in 320 articles
[sw04205]
 Bioconductor provides tools for the analysis and comprehension...

CUDD
 Referenced in 158 articles
[sw04446]
 The CUDD package provides functions to manipulate Binary...

azove
 Referenced in 12 articles
[sw04634]
 On threshold BDDs and the optimal variable ordering...

CliffMath
 Referenced in 23 articles
[sw04955]
 Operator calculus on graphs. Theory and applications in...

CliffSymNil
 Referenced in 14 articles
[sw04956]
 Mathematica: Zeon, abelian Clifford, and abelianidempotent Clifford...