[Om3] Project ideas

[Paul Libbrecht]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://openmath.org/pipermail/om3/attachments/20111010/7b5fa05e/attachment.htm