Publications

In: Proceedings of OpenMath Workshop 09. Conferences on Intelligent Computer Mathematics (CICM-09) located at Conferences on Intelligent Computer Mathematics July 10 Grand Bend Ontario Canada www.activemath.org 7/2009.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz