• PRISM

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

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • AMPL

  • Referenced in 617 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • METIS

  • Referenced in 468 articles [sw04089]
  • METIS is a set of serial programs for...
  • Ipopt

  • Referenced in 740 articles [sw04808]
  • Ipopt (Interior Point OPTimizer, pronounced eye-pea-Opt...
  • XPPAUT

  • Referenced in 453 articles [sw05543]
  • XPPAUT is software for the analysis and simulation...
  • Chebfun

  • Referenced in 419 articles [sw05897]
  • Chebfun is a collection of algorithms and a...
  • bvp4c

  • Referenced in 299 articles [sw06178]
  • MATLAB-bvp4c -Solve boundary value problems for ordinary...
  • LMI toolbox

  • Referenced in 1463 articles [sw06383]
  • Linear Matrix Inequalities (LMIs) and LMI techniques have...
  • PMIRKDC

  • Referenced in 32 articles [sw06409]
  • PMIRKDC: a parallel mono-implicit Runge-Kutta code...
  • PyDSTool

  • Referenced in 18 articles [sw06718]
  • PyDSTool is a sophisticated & integrated simulation and analysis...
  • MIRKDC

  • Referenced in 36 articles [sw07159]
  • Runge-Kutta software defect control for boundary value...
  • Robotics

  • Referenced in 101 articles [sw07383]
  • The Robotics Toolbox is a software package that...
  • PHClab

  • Referenced in 16 articles [sw09668]
  • PHClab: A MATLAB/Octave Interface to PHCpack. PHCpack is...
  • rootsb

  • Referenced in 15 articles [sw11379]
  • Computing common zeros of two bivariate function: r...
  • LBS

  • Referenced in 15 articles [sw12372]
  • A language for biochemical systems: design and formal...
  • BlenX

  • Referenced in 22 articles [sw12373]
  • The BlenX Language: A Tutorial. This paper presents...
  • Chebfun2

  • Referenced in 41 articles [sw12708]
  • An extension of Chebfun to two dimensions. Chebfun...