At the TU/e we have started the development of an online Math Editor.We report on a new
Web-based tool under development at the TU/e, called MathDox Editor, for the interactive entering
and editing of semantically rich mathematical documents and expressions.
The (envisoned) features of the MathDox editor are:

• Rich mathematical document structure (theorem, lemma, proof etc).
• Inline editing of mathematical formulas;
• Semantic presentation of mathematics in OpenMath;
• Basic output format MathDox (an extension of DocBook with OpenMath);
  

At the TU/e we have started the development of an online Math Editor.We report on a new
Web-based tool under development at the TU/e, called MathDox Editor, for the interactive entering
and editing of semantically rich mathematical documents and expressions.
The (envisoned) features of the MathDox editor are:

• Rich mathematical document structure (theorem, lemma, proof etc).
• Inline editing of mathematical formulas;
• Semantic presentation of mathematics in OpenMath;
• Basic output format MathDox (an extension of DocBook with OpenMath);
  

You may have heard about the SCIEnce project (Symbolic Computation Infrastructure for Europe, http://www.symbolic-computation.org/ ). Recent activities in that project include the development and implementation of a protocol called ``Symbolic Computation Software Composability Protocol'', abbreviated SCSCP. The protocol aims to provide unified communication between different CASes or different  instances of one CAS, on one or more computers, clusters, and even grids.

There is a new version of the XML->RDF extraction framework Krextor (0.3) at
http://kwarc.info/projects/krextor/. The most important new features from an
OMDoc and SWiM point of view are that we're now more compatible to semantic
web standards, for the benefit of both sides.

Project description: http://www.jem-thematic.net/en/node/884

There is now a possibility to author semantic web ontologies with OMDoc (see
http://www.jem-thematic.net/en/node/1252 for details),
and an extensible way of adding metadata to OMDoc in an RDFa-like syntax.

SWiM, the Semantic Wiki for Mathematical Knowledge Management, is now being used for the revision of the OpenMath 3 Content Dictionaries. The wiki at wiki.openmath.org contains the latest draft versions of these content dictionaries. Anybody can browse and discuss. The OpenMath 3 developers can also edit. This paper explains how the system works.

Detailed description of the ongoing case study

The Inter2Geo project has released final versions of deliverables on an educational ontology for geometric competencies and on the metadata format it will adopt in the future. Quotes from the abstracts:

I'd like to invite you to participate in a little survey on mathematical knowledge items, possible issues with them, and how to solve issues. It will take around 10 minutes to answer the questions.

The results will be used in order to improve the mathematical argumentation ontology that is used in the semantic wiki SWiM and thus the assistance in tracking and solving issues there.

SWiM, an OMDoc-based semantic wiki for mathematics, has been released in version 0.2.

New features are:

1. a completely redesigned and improved user interface, mostly thanks to the hard work Sebastian Schaffert did on IkeWiki

Dear JEM interested parties,

thus far we have not found it so I am hereby launching the quest for a repository of mathematical competencies.

Once could say that national curriculum standards contain so but this is done a very informal way so we, in intergeo, are looking for something more repository like.

thanks in advance

Paul Libbrecht
The ActiveMath Group

                     CALL FOR PAPERS

                       SemWiki2008
         3rd Workshop: 'The Wiki Way of Semantics'
                      June 2, 2008
              http://semwiki.org/semwiki2008

           EXTENDED SUBMISSION DEADLINE: MARCH 5

              co-located with the 5th Annual
          European Semantic Web Conference (ESWC)
                 http://www.eswc2008.org/
                      Tenerife, Spain
                       June 1-5, 2008

Executive Summary

SemWiki2008, the third workshop on Semantic Wikis, aims at reviewing the