Thematic Netork "OpenMath"
Funding: EU
Program: IST Thematic Netork
Grant ID: IST-2000-29719
Funds:
Integrating Math Software Systems by content Markup for Formulae
From: 2001
To: 2004
Funding: EU
Program: IST Thematic Netork
Grant ID: IST-2000-29719
Prof. Dr. Michael Kohlhase
Dr. Normen Müller
Funds:
OMDoc