
Chaos Explorer
 Referenced in 0 articles
[sw05650]
 give users the ability to investigate fractals, attractors, bifurcations, and other chaotic functions. The program...

Benojt
 Referenced in 0 articles
[sw05794]
 fractals, Lyapunov fractals, and two dimensional attractors/strange attractors. Due to its modular design, single components...

Boolector
 Referenced in 31 articles
[sw00085]
 Boolector: an efficient SMT solver for bitvectors...

Cinderella
 Referenced in 153 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

CUDAEASY
 Referenced in 4 articles
[sw00176]
 CUDAEASY – a GPU accelerated cosmological lattice program This...

gmp
 Referenced in 282 articles
[sw00363]
 GMP is a free library for arbitrary precision...

IRKC
 Referenced in 20 articles
[sw00452]
 The Fortran 90 code IRKC is intended for...

Isabelle
 Referenced in 698 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

Maple
 Referenced in 5363 articles
[sw00545]
 The result of over 30 years of cutting...

MATCONT
 Referenced in 442 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

Mathematica
 Referenced in 6337 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13460 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

NetworkX
 Referenced in 159 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

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

R
 Referenced in 9810 articles
[sw00771]
 R is a language and environment for statistical...

SaddleDrop
 Referenced in 14 articles
[sw00824]
 SaddleDrop: a tool for studying dynamics in ℂ...

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

Sostools
 Referenced in 289 articles
[sw00891]
 We are pleased to introduce SOSTOOLS, a free...

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

TSPLIB
 Referenced in 697 articles
[sw00983]
 TSPLIB is a library of sample instances for...