[Noisebridge-discuss] MathML

[Jeff Younker]

On Jul 29, 2009, at 10:58 AM, Jason Dusek wrote:

>  Right now, the formal methods group does all our work with
>  pencil and paper. But shouldn't we be using an electronic
>  format? What experience do folks have with MathML?

I don't think that anyone has created a mathematics system with
a better interface than pen and paper or chalk and chalkboard
yet.

If I had to use an electronic markup I'd be partial to Mathematica
or Mathcad.   MathML is an interchange form, but I'd hate to
write it by hand.

-jeff