Java Applets

Rigorous Gradient Calculator

Compute the gradient of a function using rigorous interval arithmetic.

Rigorous Graphing Applet

Graph functions and find their roots. All results are verified, no second guess necessary.

Cascade Applet

Rigorously solves the initial value problem for discrete, planar maps. A powerful new algorithm produces guaranteed error bounds in form of zonotope enclosures. This avoids the wrapping effect.

3D Zonotope Viewer

Interactively view a zonotope in 3D space.

3D Viewer

Interactively view several objects in 3D space.