ProofPeer - A Cloud-based Interactive Theorem Proving System

Published in: CoRR (2012)

Keyphrases

interactive theorem proving
cloud computing
big data
web browser
loosely coupled
database
decision making
image segmentation
high quality
xml documents
end users
web server
media processing