• Cinderella

  • Referenced in 153 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • MoDeST

  • Referenced in 32 articles [sw01544]
  • MoDeST --- a modelling and description language for stochastic...
  • GOLOG

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

  • Referenced in 1325 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • UCI-ml

  • Referenced in 3403 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • CPLEX

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

  • Referenced in 549 articles [sw04126]
  • FFTW is a C subroutine library for computing...
  • EISPACK

  • Referenced in 488 articles [sw04208]
  • EISPACK is a collection of Fortran subroutines that...
  • ABAQUS

  • Referenced in 1608 articles [sw04215]
  • The Abaqus Unified FEA product suite offers powerful...
  • ARPACK

  • Referenced in 842 articles [sw04218]
  • ARPACK is a collection of Fortran77 subroutines designed...
  • SPSS

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

  • Referenced in 552 articles [sw04351]
  • R is ‘GNU S’, a freely available language...
  • CVX

  • Referenced in 845 articles [sw04594]
  • CVX is a modeling system for constructing and...
  • OBJ3

  • Referenced in 140 articles [sw05370]
  • OBJ3 is a program specification and proof system...