Flickr: langec's Photostream

The Sentido formula editor in the SWiM wiki

Rendered view of a notation definition for a mathematical symbol in the SWiM wiki

A document-oriented view on the metadata for an OpenMath Content Dictionary in the SWiM wiki at wiki.openmath.org

Front page of the SWiM wiki for the OpenMath Content Dictionaries, as running at wiki.openmath.org

Discussion forum in the SWiM wiki for the OpenMath Content Dictionaries, as running...

Rendered view of one OpenMath Content Dictionary (arith1, basic arithmetic operators) in the SWiM wiki at wiki.openmath.org

A form-based view on the metadata for an OpenMath Content Dictionary in the SWiM wiki at wiki.openmath.org

Definition of a mathematical symbol in the JOBAD-enriched view on Michael Kohlhase's General...

langec's photostream