• GAP

  • Referenced in 3222 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gmp

  • Referenced in 289 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Isabelle

  • Referenced in 721 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LEDA

  • Referenced in 264 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Magma

  • Referenced in 3366 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Matlab

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

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

  • Referenced in 294 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • GraphBase

  • Referenced in 139 articles [sw01555]
  • The Stanford GraphBase is a freely available collection...
  • WordNet

  • Referenced in 411 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • CUDA

  • Referenced in 1337 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • Pajek

  • Referenced in 159 articles [sw03707]
  • Pajek -- analysis and visualization of large networks. Pajek...
  • SeDuMi

  • Referenced in 1284 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • SDPT3

  • Referenced in 707 articles [sw04009]
  • This software is designed to solve conic programming...
  • SPSS

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

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

  • Referenced in 365 articles [sw04502]
  • spatial: Functions for Kriging and Point Pattern Analysis...