On the Integrity of a Repository of Formalized Mathematics.

Piotr Rudnicki Andrzej Trybulec

Published in: MKM (2003)

Keyphrases

computer science
data sets from uci
metadata
learning objects
database integrity
integrity constraints
digital libraries
multi agent
database
computer assisted instruction
computer algebra
multimedia
website
data integrity
electrical engineering
data protection
mathematics education
search engine