Proof: the general purpose animator
Nancy J. Earle, Daniel T. Brunner, James O. Henriksen · 2002
Proof is a high-quality, PC-based animation and presentation package. Proof runs on any standard 286 or better machine with a math coprocessor and EGA or VGA graphics card. Because it is a post-processing animator, Proof provides smooth motion and portability. An open architecture makes Proof compatible with most popular simulation packages.>