
SpaceEx
 Referenced in 74 articles
[sw10939]
 algorithm for hybrid systems with piecewise affine, nondeterministic dynamics. It combines polyhedra and support...

not
 Referenced in 6 articles
[sw16502]
 dimensional data following ’deterministic signal + noise’ model. Currently implemented scenarios are: piecewiseconstant signal, piecewise...

IDetect
 Referenced in 1 article
[sw28005]
 dimensional data sequences from the ”deterministic + noise” model. For details on the IsolateDetect methodology ... docs.wixstatic.com/ugd/24cdcc_6a0866c574654163b8255e272bc0001b.pdf>. Currently implemented scenarios are: piecewiseconstant signal with Gaussian noise, piecewiseconstant signal...

conPAS
 Referenced in 1 article
[sw10953]
 synthesis of feedback control strategies for a piecewise affine (PWA) system from specifications given ... only specifications that can be expressed as deterministic Buchi automata, while its extension conPAS2...

BARON
 Referenced in 339 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

Gerris
 Referenced in 304 articles
[sw00341]
 Gerris is a Free Software program for the...

HSL
 Referenced in 275 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

LANGAGE
 Referenced in 38 articles
[sw00501]
 LANGAGE: A Maple package for automaton characterization of...

LAPACK
 Referenced in 1677 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LGO
 Referenced in 95 articles
[sw00516]
 The program system LGO serves to solve global...

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

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

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

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

Octave
 Referenced in 304 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

Parsol
 Referenced in 20 articles
[sw00684]
 ParSol is a library for semiautomatic parallelisation...

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

RAGlib
 Referenced in 64 articles
[sw00774]
 A library for real solving polynomial systems of...

REGAL
 Referenced in 18 articles
[sw00791]
 REGAL: A library to randomly and exhaustively generate...