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