The Power and Performance of Proof Animation.

James O. Henriksen

Published in: WSC (1996)

Keyphrases

power consumption
computer graphics
databases
theorem prover
theorem proving
database
user interface
machine learning
artificial intelligence
computer animation
power distribution
proof theory