
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 1818 articles
[sw00161]
 Coq is a formal proof management system. It...

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...

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

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

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

SINGULAR
 Referenced in 1412 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 315 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 470 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 775 articles
[sw06848]
 Microsoft Excel is a powerful spreadsheet application that...

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

Automath
 Referenced in 406 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 1134 articles
[sw12176]
 C4.5: programs for machine learning. (C4.5 has been...