Mechanized Mathematics.

Jacques Carette

Published in: AISC/MKM/Calculemus (2010)

Keyphrases

computer science
information systems
learning objects
computer algebra
real world
information retrieval