• 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 high-level 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 multi-platform 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 S-Q-P-lab) 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...