[om] Standard .. Ontologies for Math
Richard Fateman
fateman at cs.berkeley.edu
Thu Jun 7 17:38:38 CEST 2001
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
More information about the Om
mailing list