Proof animation: the general purpose animator.

James O. Henriksen Nancy J. Earle

Published in: WSC (1992)

Keyphrases

general purpose
special purpose
domain specific
computer graphics
application specific
programming language
neural network
proof planning
linear logic
theorem proving
tightly coupled
motion capture
multi agent
image sequences
computer animation
automated theorem proving
databases
learning maya