Sentido is a browser, editor, and environment (including document classification and search) for the mathematical document format OMDoc.

About Sentido

• "Sentido: an Integrated Environment for OMDoc", a section from the book "OMDoc: An Open Markup Format for Mathematical Documents (version 1.2)".
• «Easily Editing and Browsing Complex OpenMath Markup with SWiM» (2008)
• "MathWebSearch 0.4, A Semantic Search Engine for Mathematics" (2008)

Versions of Sentido available

• The formula editor is used already in MathWeb Search, and I'm adapting it as a plugin for TinyMCE which can be downloaded as a ZIP file. However, the rest of the program is not publicly available yet. Sentido is Free Software distributed under the GNU General Public Licence (GPL).