An Information System for Retrieving and Reasoning about Xml-based Mathematical Knowledge

Bernd D. Heumesser, Dietmar Seipel, Ralf-Dieter Schimkat, Ulrich Güntzer. An Information System for Retrieving and Reasoning about Xml-based Mathematical Knowledge. In Fengshan Bai, Bernd Wegner, editors, Electronic Information and Communication in Mathematics, ICM 2002 International Satellite Conference, Beijing, China, August 29-31, 2002, Revised Papers. Volume 2730 of Lecture Notes in Computer Science, pages 59-71, Springer, 2002. [doi]

Authors

Bernd D. Heumesser

This author has not been identified. Look up 'Bernd D. Heumesser' in Google

Dietmar Seipel

This author has not been identified. Look up 'Dietmar Seipel' in Google

Ralf-Dieter Schimkat

This author has not been identified. Look up 'Ralf-Dieter Schimkat' in Google

Ulrich Güntzer

This author has not been identified. Look up 'Ulrich Güntzer' in Google