The Power and Performance of Proof Animation.

James O. Henriksen

Published in: WSC (1997)

Keyphrases

power consumption
computer graphics
computational power
knowledge base
database systems
user interface
probabilistic model
theorem proving
power distribution
proof planning