“KWARC was!”

Very interesting approach. They take our notation-rendering approach on the level of documents, i.e. presentation markup is interpret wider and includes narrative presentation markup:

Plain text documents are first structured and verified; missing proof steps are propagated to the initial document and, in particular, “rendered” into the “plain text presentation”.

For CoPs it would be interesting to analyze different proofs wrt. the level of detail.

See MKM Proceedings: Authoring verified documents by interactive proof construction and verification in Text-Editors. (Dominik Dietrich, Ewaryst Schulz, Marc Wagner)

This entry was posted by Christine on Monday, July 28th, 2008 at 3:54 pm and is filed under My Conferences, CoP, Context. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.