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.