From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls.

Claudio Sacerdoti Coen

Published in: MKM (2003)

Keyphrases

distributed systems
cooperative
fault tolerant
multimedia
distributed network
distributed data
mobile agents
information retrieval
neural network
computer science
object oriented
case study
peer to peer
lightweight
agent technology
data sets
electrical engineering
real time