[om] Concatenation of lists ??

[Michael Kohlhase]

Dear Andrew,

your assessment of the situation is very much driven by your experience of
writing phrasebooks for computer algebra systems, and I agree with you that
something like this is needed for this application.

This is not the only use of OpenMath. In the theorem proving applications,
we do not need phrasebooks, since we do not implement the mathematical
objects represented symbols in software, but reason about them in software
systems. In this application, the content dictionaries and their symbols
are much lighter-weight objects, they can be created, experimented with,
revised, and later at some point stablilized to a formal theory. 

For this kind of application, the procedure you have described is much to
heavy and time-consuming. Of course, the two applications are not
independent (on the contrary, the intersection is the interesting bit). For
instance we would like to reason about objects in a CD that has a
phrasebook for Mathematica, so that the objects can directly be
computed....

I think that there is a fundamental issue in the use of (and the intuition
about) CDs that we should discuss. I think that we should not restrict our
attention (and the infrastructure/procedures) to one of the uses of CDs.

     Michael



--
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