Employing Computer Algebra for Classifying Mathematical Web Content

Dirk Draheim, Winfried Neun, Dima Suliman. Employing Computer Algebra for Classifying Mathematical Web Content. In Andreas Dolzmann, Andreas Seidl, Thomas Sturm, editors, Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning. pages 91-94, Books on Demand, 2005.

Abstract

Abstract is missing.