Le 10 oct. 2011 à 21:50, Professor James Davenport a écrit :
> However, I am also looking for ideas of what such a project might
> actually be. If we had DefMP, we could consider a tool that mapped into
> subsets ofCds, using DefMP to remove symbols that weren't understood.
I would attack this from the use-case perspective.
For example, I think I know it would be lovely to tackle such a use case as:
- a collection of financial models
- a limited set of tools (say: Maple, or say: Excel)
- try to bridge the gap using such a paradigm as copy and paste for the life of
a working finance guy.
There's infinite variations about these.
The tough thing is to know from where to where to go and then write the
necessary defmp s for it so that it is effective.
I am not .net would provide sufficient reasoning power but you can always fetch
this from outside. I always believed rewriting systems should be the place to
get this to live but I saw no one do that. We need the applications, I think.
paul
_______________________________________________
Om3 mailing list
[email protected]
http://openmath.org/mailman/listinfo/om3
