SWiM is a semantic wiki for mathematical knowledge management. It natively supports OpenMath and OMDoc format and makes documents in these formats editable, browsable, and reusable on the semantic web. I am currently enhancing SWiM by capabilities for editing and debugging OpenMath content dictionaries. For example, one can define the notation of a symbol and immediately check whether one has got it right by viewing a sample document using that symbol.

GeoGebra is free open-source dynamic mathematics software that is a versatile tool for visualizing mathematical concepts from elementary through university level. Without any promotion and organised training GeoGebra has been discovered and used by tens of thousands of enthusiastic teachers and researchers around the world. In the past three years, an extensive self-supporting user community was formed by users of GeoGebra and they share interactive teaching materials on the GeoGebraWiki and support fellow users through the GeoGebraForum.

OpenMath has long had an infrastructure for specifying types of symbols in the content dictionaries. But these types have not been used for validation of formulae in practice. Surprisingly, even though the official OM CDs have been typed with James Davenport's Simple Type System, not all formulae in the examples are well-typed, since general-purpose type checkers are missing and those that exist are not integrated into authoring tools and workflows.

This talk will be devoted to the first vision of implementing a distributed database (OMBase) for OMDoc which is a format for representing the mathematical knowledge. We will cover such topics
as efficiency, distributivity, versioning, enhancement of collaboration between mathematicians and some
mathematical-specific issues. The future database is planning to use a symbiosis of Berkeley DB XML and Subversion as a backend. Also the possible clients for OMBase will be discussed.

A large number of universities and other institutions in The Netherlands cooperated in a large project called NKBW. One of the goals was to set up a portal for basic skills in mathematics, which includes a repository with learning materials for basic mathematics, especially for materials around the transition from secondary school to university level.
As a spin-off, a special interest group discussed about the question what metadata and which exchange formats to use for sharing mathematical test and exercise materials. Some of the results and experiences are presented in this talk.