• gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • 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...
  • Scilab

  • Referenced in 173 articles [sw00834]
  • Scilab includes hundreds of mathematical functions. It has...
  • TISEAN

  • Referenced in 170 articles [sw00967]
  • Practical implementation of nonlinear time series methods: The...
  • PSpice

  • Referenced in 29 articles [sw03041]
  • SPICE - A guide to circuit simulation and analysis...
  • MPFR

  • Referenced in 226 articles [sw03312]
  • The MPFR library is a C library for...
  • SeDuMi

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

  • Referenced in 471 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing...
  • SDPT3

  • Referenced in 703 articles [sw04009]
  • This software is designed to solve conic programming...
  • RODAS

  • Referenced in 1695 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...
  • Simulink

  • Referenced in 818 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • RealPaver

  • Referenced in 51 articles [sw04401]
  • Algorithm 852 Realpaver: nonlinear constraint solving & rigorous global...
  • CVX

  • Referenced in 845 articles [sw04594]
  • CVX is a modeling system for constructing and...
  • YALMIP

  • Referenced in 1033 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • Genocop

  • Referenced in 1099 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...