There are a number of other sites dedicated to pre-university level education of mathematics but I was more thinking about my own experience with Maple, Mathematica, and Matlab and FOSS tools of a quality to substitute for these. Having listened to the SageMath intro video I would add Magna to that list I suppose but maybe it is narrower in scope.
I need to know how the tools are categorized. I guess each mathematical field has its own set of tools.
I guess Computer Algebra Systems (CAS) would be the general term for the symbolic math side of things and Automated Theorem Provers (ATP) for the proof theory side of things. Ignoring ATP for the moment I suppose you can subdivide CAS many ways. I wouldn't even know how to list the divisions in mathematics or even if each division had a corresponding type of mathematical tool.
I have bookmarked:
http://directory.fsf.org/category/math/
and
http://en.wikibooks.org/wiki/FOSS_Education/Research_using_F...
There are a number of other sites dedicated to pre-university level education of mathematics but I was more thinking about my own experience with Maple, Mathematica, and Matlab and FOSS tools of a quality to substitute for these. Having listened to the SageMath intro video I would add Magna to that list I suppose but maybe it is narrower in scope.
I need to know how the tools are categorized. I guess each mathematical field has its own set of tools.
I guess Computer Algebra Systems (CAS) would be the general term for the symbolic math side of things and Automated Theorem Provers (ATP) for the proof theory side of things. Ignoring ATP for the moment I suppose you can subdivide CAS many ways. I wouldn't even know how to list the divisions in mathematics or even if each division had a corresponding type of mathematical tool.