search

holtzermann17 / planetmath-docs

Documentation for the PlanetMath website and organization to be read in combination with the Planetary issue tracker.
https://github.com/KWARC/planetary/issues?labels=&milestone=&page=1&state=open
7 stars 1 forks source link

Experimental Math Preview #77

Open holtzermann17 opened 11 years ago

holtzermann17 commented 11 years ago

Summary

Lifecycle stage: [1]--proto-- 2 ->- 3 --evolving-- 4 ->- 5 --complete-- 6 ->- 7 --mature-- 8

We've done nothing about integrating SAGE or Maxima into PlanetMath so far, but we think it would be a good idea.

SAGE has a nice web format already - maybe we could re-use it in some way on PlanetMath.

In order to progress to stage 2 or 3, we would want to make contact with some people in the SAGE community and find a concrete project to work on. Deploying SAGE notebooks as an alternative content type or sub-object that can be used within PlanetMath articles would be great.

holtzermann17 commented 11 years ago

https://github.com/KWARC/planetary/issues/417 is relevant both to formal math and experimental math. WorkingWiki seems far ahead of Planetary in terms of general support for software-based interaction with content.