
Coq
 Referenced in 1856 articles
[sw00161]
 Coq is a formal proof management system. It...

Maple
 Referenced in 5296 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6235 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13100 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

R
 Referenced in 9188 articles
[sw00771]
 R is a language and environment for statistical...

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

Simulink
 Referenced in 799 articles
[sw04348]
 Simulink® is an environment for multidomain simulation and...

Genocop
 Referenced in 1092 articles
[sw04707]
 Genocop, by Zbigniew Michalewicz, is a genetic algorithm...

mctoolbox
 Referenced in 1462 articles
[sw04827]
 The Matrix Computation Toolbox is a collection of...

SciPy
 Referenced in 677 articles
[sw06293]
 SciPy (pronounced ”Sigh Pie”) is opensource software...

ChaCha
 Referenced in 31 articles
[sw07098]
 ChaCha, a variant of Salsa20. ChaCha8 is a...

Rumba20
 Referenced in 15 articles
[sw07099]
 New features of Latin dances: analysis of Salsa...

OEIS
 Referenced in 4006 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

TestU01
 Referenced in 114 articles
[sw08033]
 TestU01 is a software library, implemented in the...

eSTREAM
 Referenced in 98 articles
[sw12699]
 Welcome to the home page of eSTREAM, the...

PyTorch
 Referenced in 299 articles
[sw20939]
 PyTorch python package: Tensors and Dynamic neural networks...

ImageNet
 Referenced in 521 articles
[sw21105]
 ImageNet is an image dataset organized according to...

GitHub
 Referenced in 2108 articles
[sw23170]
 GitHub (originally known as Logical Awesome LLC)[3...

AlexNet
 Referenced in 398 articles
[sw38522]
 AlexNet is a convolutional neural network that is...