-
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...