• 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 high-level language and interactive...
  • MiniSat

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. 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, open-source 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...
  • 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...