• 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 next-step fragment of alternating-time...

• CLProver

• Referenced in 2 articles [sw39245]
• resolution prover for coalition logic. We present a prototype tool for automated reasoning for Coalition ... resolution-based calculus for Coalition Logic that operates on coalition problems, a normal form ... Coalition Logic. We provide an overview of coalition problems and of the resolution-based 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 high-level 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 RelView-System is an interactive tool for...

• VerICS

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

• UCI-ml

• 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 abelian-idempotent Clifford...