• Matlab

  • Referenced in 11649 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

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

  • Referenced in 374 articles [sw00610]
  • Produced by experts for use in a variety...
  • PARDISO

  • Referenced in 264 articles [sw00679]
  • The package PARDISO is a thread-safe, high...
  • polymake

  • Referenced in 285 articles [sw00724]
  • polymake is open source software for research in...
  • R

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

  • Referenced in 1538 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SINGULAR

  • Referenced in 1330 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • Sostools

  • Referenced in 264 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • SuperLU

  • Referenced in 166 articles [sw00930]
  • SuperLU is a general purpose library for the...
  • TSPLIB

  • Referenced in 657 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • UMFPACK

  • Referenced in 327 articles [sw00989]
  • An ANSI C code for sparse LU factorization...
  • XFEM

  • Referenced in 358 articles [sw01026]
  • An extended finite element library. This paper presents...
  • SCIP

  • Referenced in 429 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • ADIFOR

  • Referenced in 240 articles [sw02185]
  • ADIFOR is a tool for the automatic differentiation...
  • ADMIT

  • Referenced in 21 articles [sw02687]
  • ADMIT-1. Automatic differentiation and MATLAB interface toolbox...
  • CUDA

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

  • Referenced in 195 articles [sw03312]
  • The MPFR library is a C library for...
  • ADIC

  • Referenced in 80 articles [sw03392]
  • Welcome to the ADIC Resource Center. ADIC is...