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

GCLC
 Referenced in 31 articles
[sw00326]
 We present GCLC/WinGCLC  a tool for visualizing geometrical...

Mathematica
 Referenced in 6337 articles
[sw00554]
 Almost any workflow involves computing results, and that...

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

NAG
 Referenced in 423 articles
[sw00610]
 Produced by experts for use in a variety...

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

McEliece
 Referenced in 250 articles
[sw02076]
 Practical power analysis attacks on software implementations of...

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

GeoGebra
 Referenced in 381 articles
[sw04203]
 GeoGebra is free and multiplatform dynamic mathematics...

SPSS
 Referenced in 673 articles
[sw04269]
 SPSS is a computer program used for survey...

car
 Referenced in 73 articles
[sw04358]
 R package car: Companion to Applied Regression , This...

Qhull
 Referenced in 320 articles
[sw04419]
 The convex hull of a point set P...

WinBUGS
 Referenced in 764 articles
[sw04492]
 WinBUGS is part of the BUGS project, which...

fda (R)
 Referenced in 1461 articles
[sw04511]
 fda: Functional Data Analysis , These functions were developed...

PLCP
 Referenced in 228 articles
[sw04795]
 The software contains some functions and drivers for...

SQPlab
 Referenced in 175 articles
[sw05161]
 The SQPlab (pronounce SQPlab) software...

Stata
 Referenced in 837 articles
[sw06029]
 Stata is a complete, integrated statistical package that...

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

Mplus
 Referenced in 346 articles
[sw06511]
 Mplus is a statistical modeling program that provides...

Casper
 Referenced in 95 articles
[sw06559]
 A Compiler for the Analysis of Security Protocols...