
Coq
 Referenced in 1807 articles
[sw00161]
 Coq is a formal proof management system. It...

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

LAPACK
 Referenced in 1642 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

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

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

Paramils
 Referenced in 70 articles
[sw00678]
 Paramils: an automatic algorithm configuration framework. The identification...

RKC
 Referenced in 113 articles
[sw00808]
 RKC: An explicit solver for parabolic PDEs. An...

SINGULAR
 Referenced in 1408 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

Zchaff2004
 Referenced in 21 articles
[sw01032]
 The Boolean Satisfiability Problem (SAT) is a well...

PRISM
 Referenced in 416 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper...

AMBER
 Referenced in 54 articles
[sw01333]
 AmberTools is a set of programs for biomolecular...

Smalltalk
 Referenced in 190 articles
[sw01561]
 Smalltalk is an objectoriented, dynamically typed, reflective...

COMET
 Referenced in 72 articles
[sw03051]
 ConstraintBased Local Search. The ubiquity of combinatorial...

STAN
 Referenced in 38 articles
[sw03348]
 STAN is a domainindependent planner developed within...

SPIN
 Referenced in 712 articles
[sw03455]
 Spin is a popular opensource software tool...

Pajek
 Referenced in 138 articles
[sw03707]
 Pajek  analysis and visualization of large networks. Pajek...

AMPL
 Referenced in 590 articles
[sw04001]
 AMPL is a comprehensive and powerful algebraic modeling...

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