[TOS] hacking math
holtzermann17 at gmail.com
Sat Sep 12 18:35:37 UTC 2009
I work with the nonprofit PlanetMath.org (http://planetmath.org)
on a CCBySA math encyclopedia and supporting open source software.
If you aren't familiar with this project, check it out! We've been around
since 2000/2001 and development continues.
One of the things we're interested in is helping forge new
collaborations in the free/online math domain; pursuant to
this end, I've recently created a "first draft" stakeholder
analysis for online math, here:
If you're working in (or interested in) this field, please fact check!
My long-term goal is to "hack math to make it more like free
software"; the idea being that we can actually turn the everyday
language of math into "source code".
I'm developing a research prospectus for this large-scale project
I'm currently looking for new collaborators and/or places I can
plug in institutionally with this sort of work (e.g. a graduate
program or other R&D setting where even one component of
the relevant toolchain can be completed...).
More information about the tos