A Web Interface for Matita

Andrea Asperti Wilmer Ricciotti

Published in: CoRR (2012)

Keyphrases

web interface
web applications
statistical data
website
search engine
user interface
web databases
computer simulation
data sets
mobile devices
mobile terminals