• Expokit

  • Referenced in 200 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • MATCONT

  • Referenced in 443 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • 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...
  • NAG

  • Referenced in 423 articles [sw00610]
  • Produced by experts for use in a variety...
  • PROFIL/BIAS

  • Referenced in 134 articles [sw00733]
  • PROFIL (Programmer’s Runtime Optimized Fast Interval Library...
  • R

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

  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SUNDIALS

  • Referenced in 241 articles [sw00927]
  • SUNDIALS was implemented with the goal of providing...
  • AUTO

  • Referenced in 943 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • PRISM

  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • DSSZ-MC

  • Referenced in 6 articles [sw01360]
  • DSSZ-MC -- a tool for symbolic analysis of...
  • NEURON

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

  • Referenced in 34 articles [sw03186]
  • Performance Evaluation for Parallel Systems(PEPS). PEPS is...
  • CUDA

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

  • Referenced in 185 articles [sw03275]
  • SDPA (SemiDefinite Programming Algorithm)” is one of the...
  • Haskell

  • Referenced in 880 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • SeDuMi

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