
GAP
 Referenced in 2948 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Isabelle
 Referenced in 617 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

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

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

MiniSat
 Referenced in 541 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

GOLOG
 Referenced in 170 articles
[sw02159]
 GOLOG: A logic programming language for dynamic domains...

Haskell
 Referenced in 853 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

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

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

Graphplan
 Referenced in 181 articles
[sw07746]
 Fast planning through planning graph analysis. We introduce...

LCF
 Referenced in 157 articles
[sw08360]
 Edinburgh LCF. A mechanized logic of computation. From...

SHOP2
 Referenced in 27 articles
[sw17940]
 SHOP2: An HTN planning system. The SHOP2 planning...

UCPOP
 Referenced in 38 articles
[sw20687]
 The UCPOP Planner. Note: UCPOP is an aging...