Search Results for "exploration"

JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,...

Fractal View is a fractal viewing application used for exploration of common fractal sets. It runs in fullscreen, supports four different fractal sets, has 22 different color palettes, saves in png format, does antialiasing, and zooms in all sets.

Fractal Assistant is a pure Java fractal exploration utility. It is designed to be a user-friendly, highly configurable environment with support for pluggable module files.