raumgeometrie.de

Archimedes is capable of computing shadows. In this picture you can see the projective shadow cast by a sphere onto a hyperbolic paraboloid.