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

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

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

LAPACK
 Referenced in 1713 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

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

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

MiniSat
 Referenced in 584 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

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

SageMath
 Referenced in 2033 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

PRISM
 Referenced in 454 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper...

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

MPFR
 Referenced in 232 articles
[sw03312]
 The MPFR library is a C library for...

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

ggplot2
 Referenced in 380 articles
[sw04557]
 R package ggplot2: An implementation of the Grammar...

CVX
 Referenced in 855 articles
[sw04594]
 CVX is a modeling system for constructing and...

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

LLVM
 Referenced in 88 articles
[sw04892]
 The LLVM Project is a collection of modular...

MersenneTwister
 Referenced in 361 articles
[sw05367]
 Mersenne twister: A 623dimensionally equidistributed uniform pseudo...

Theano
 Referenced in 98 articles
[sw05894]
 Theano is a Python library that allows you...

GAUSSIAN
 Referenced in 202 articles
[sw06118]
 Gaussian is an electronic structure program, used by...