[om] Standard .. Ontologies for Math

[Richard Fateman]

I encountered recently a list of ontologies from
Stanford's Knowledge Systems Lab.
Among others, they include a framework for
Abstract Algebra  that might be of interest
to OM.
I suggest people (James? David?) writing CDs look around at
this site.

http://piano.stanford.edu/concur/examples/html-lib/abstract-algebra/index.html

RJF
--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems