
PoPMuSiC
 Referenced in 4 articles
[sw16879]
 single site mutations in proteins, using a linear combination of statistical potentials whose coefficients depend ... data is also expected to have significant implications in the prediction and the analysis ... average concentration of structural weaknesses is detected, quantifying how these sites have been optimized...

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

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

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

QEPCAD
 Referenced in 276 articles
[sw00752]
 QEPCAD B: A program for computing with semi...

QuBE++
 Referenced in 28 articles
[sw00766]
 In this paper we describe QuBE++, an efficient...

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

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

ML
 Referenced in 517 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

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

OTTER
 Referenced in 314 articles
[sw02904]
 Our current automated deduction system Otter is designed...

REDLOG
 Referenced in 160 articles
[sw04250]
 REDLOG is a package that extends the computer...

RSOLVER
 Referenced in 71 articles
[sw04334]
 RSolver is a program for solving quantified inequality...

Mizar
 Referenced in 469 articles
[sw04704]
 The Mizar System is the only implementation of...

MPT
 Referenced in 212 articles
[sw04732]
 The MultiParametric Toolbox (MPT) is a free...

Excel
 Referenced in 773 articles
[sw06848]
 Microsoft Excel is a powerful spreadsheet application that...

Chaff
 Referenced in 570 articles
[sw06916]
 Chaff:engineering an efficient SAT solver. Boolean Satisfiability...

Automath
 Referenced in 404 articles
[sw07127]
 Automath is a language designed by N.G. the...

PolyLib
 Referenced in 47 articles
[sw09923]
 The Polyhedral Library (PolyLib for short) operates on...

C4.5
 Referenced in 1127 articles
[sw12176]
 C4.5: programs for machine learning. (C4.5 has been...