Results 1 to 20 of 32
Sort by:

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