Proviola: A Tool for Proof Re-animation.

Carst Tankink Herman Geuvers James McKinna Freek Wiedijk

Published in: AISC/MKM/Calculemus (2010)

Keyphrases

software tools
neural network
multiscale
computer graphics
user friendly
data sets
genetic algorithm
optimal solution
data structure
learning environment
virtual environment