support more formats (SAGE, Geogebra, Gap, Maxima, HOL, Metamath, etc.)

[holtzermann17]

We should also connect with people in the respective communities. Some of them have nice web-frontends already.

• http://www.sagemath.org/
• http://www.geogebra.org/
• http://www.gap-system.org/
• http://maxima.sourceforge.net/
• various overview of formal math systems: http://www.vdash.org/formal/

[dginev]

Doesn't this ticket actually reduce to "create good Content MathML in PlanetMath"?

Given usable CMML, other applications should be able to perform some form of interop. I know Mathematica used to have a Content MathML input at one point.

[holtzermann17]

Hm... I'm thinking more about interactions than content (but of course, we would need content in order to support interactions!). I think that if we could embed SAGE notebooks into PlanetMath, that would be one possibly interesting approach to this http://www.sagenb.org. I've noticed that they currently have public worksheets turned off, I'm not sure why -- so I can't show you a big catalog of examples.