Windows-based Animation with PROOF.

James O. Henriksen

Published in: WSC (1998)

Keyphrases

theorem proving
neural network
computer animation
theorem prover
three dimensional
computer graphics
special effects
real time
genetic algorithm
search engine
knowledge base
knowledge representation
motion capture