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

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

PariTOP
 Referenced in 32 articles
[sw00681]
 In Quebec’s municipal taxation system, the tax...

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

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

CPnets
 Referenced in 138 articles
[sw01374]
 CPnets (Condition Preference Nets) is a tool...

FastFDs
 Referenced in 11 articles
[sw01613]
 FastFDs: A heuristicdriven, depthfirst algorithm for...

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

TANE
 Referenced in 39 articles
[sw02196]
 TANE: An efficient algorithm for discovering functional and...

UCIml
 Referenced in 3379 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

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

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

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

DLMF
 Referenced in 2808 articles
[sw04968]
 NIST digital library of mathematical functions. The National...

Prover9
 Referenced in 197 articles
[sw04969]
 Prover9 and Mace4: Prover9 is an automated theorem...

JBool
 Referenced in 115 articles
[sw06185]
 This software promotes some general and useful tools...

SAS
 Referenced in 1552 articles
[sw06377]
 SAS (Statistical Analysis System) is an integrated system...

XQuery
 Referenced in 124 articles
[sw06669]
 XML is a versatile markup language, capable of...

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

Mace4
 Referenced in 227 articles
[sw06905]
 finite modelfinder Mace4. Mace4 is a program...