Proof animation: the general purpose animator.
Daniel T. BrunnerNancy J. EarleJames O. HenriksenPublished in: WSC (1991)
Keyphrases
- general purpose
- special purpose
- domain specific
- computer graphics
- programming language
- application specific
- proof planning
- user interface
- theorem prover
- computer animation
- motion capture
- tightly coupled
- theorem proving
- mathematical proofs
- natural deduction
- data mining
- information retrieval
- three dimensional
- logical rules
- artificial intelligence