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

• MiniSat

• Referenced in 566 articles [sw00577]
• An extensible SAT-solver. MiniSat is a minimalistic...

• nauty

• Referenced in 609 articles [sw00611]
• graph-theoretic program NAUTY: nauty is a program...

• Normaliz

• Referenced in 172 articles [sw00630]
• Normaliz is a tool for computations in affine...

• Octave

• Referenced in 304 articles [sw00646]
• GNU Octave is a high-level language, primarily...

• R

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

• L-BFGS-B

• Referenced in 200 articles [sw01234]
• Algorithm 778: L-BFGS-B Fortran subroutines for...

• AutoCAD

• Referenced in 40 articles [sw01741]
• Formen und gestalten Sie die Welt, die Sie...

• DistAl

• Referenced in 103 articles [sw01746]
• DistAl: An inter-pattern distance-based constructive learning...

• WordNet

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

• DT-CWT

• Referenced in 100 articles [sw02857]
• Research on pixel-level image fusion algorithm based...

• S-PLUS

• Referenced in 615 articles [sw02892]
• S-PLUS is a powerful environment for statistical...

• OTTER

• Referenced in 316 articles [sw02904]
• Our current automated deduction system Otter is designed...

• NEURON

• Referenced in 187 articles [sw03059]
• Parallel network simulations with NEURON. The NEURON simulation...

• ANTLR

• Referenced in 66 articles [sw03062]
• ANTLR (ANother Tool for Language Recognition) is a...

• L-BFGS

• Referenced in 806 articles [sw03229]
• Algorithm 778: L-BFGS-B Fortran subroutines for...

• CUDA

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

• LSTM

• Referenced in 30 articles [sw03373]
• The human brain is a recurrent neural network...

• SeDuMi

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