The Planetary Project: Towards eMath3.0.

Michael Kohlhase

Published in: AISC/MKM/Calculemus (2012)

Keyphrases

case study
project management
search engine
three dimensional
data structure
current status
database
databases
neural network
feature selection
multimedia
high level
lower bound
email
data collection
european union