Proviola: A Tool for Proof Re-animation

Carst Tankink Herman Geuvers James McKinna Freek Wiedijk

Published in: CoRR (2010)

Keyphrases

real time
artificial intelligence
clustering algorithm
software tools
motion capture
linear logic
computer animation