KEA - a Mathematical Knowledge Management System combining Web 2.0 with Semantic Web Technologies

We present a knowledge management system suggesting a combination of Web 2.0 and semantic Web technologies. With regard to the accumulation of knowledge as a consequence of the increasing amount of scientific publications, the demand for sophisticated knowledge management systems in the scientific education has increased lately. Above all, mathematical publications remain a major challenge, caused by the need for complicated analysis of natural language texts and mathematical formulas. The Web-based, mathematical knowledge management system KEA provides natural language processing techniques, and benefits from new Web technologies.