MathType (Popularity: )
http://www.mathtype.com/ Powerful mathematical typesetting program for word processing and desktop publishing documents. Professional edition of the Equation Editor package bundled with ...
OpenMath (Popularity: )
http://www.openmath.org/ Emerging standard for representing mathematical objects semantically, allowing them to be stored in databases and communicated over the World-Wide-Web.
SciWriter (Popularity: )
http://www.soft4science.com/ An XML based WYSIWYG word processor for mathematics and text. The native document format is a subset of XHTML 1.1 ...