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

MathHubInfo / Legacy-planetary

Legacy: Planetary System is a math-enabled Web 3.0 information portal.

http://trac.mathweb.org/planetary/

79 stars 25 forks source link

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

Open holtzermann17 opened 11 years ago

holtzermann17 commented 11 years ago

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 commented 11 years ago

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 commented 11 years ago

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.