[Om3] Project ideas

[Professor James Davenport]

On Mon, October 10, 2011 9:48 pm, Paul Libbrecht wrote:
> 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.
Indeed so
> 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.
Agreed. But other than units, no-one seems to have one.

James Davenport
Lecturer on XX10190 and CM30070
Hebron & Medlock Professor of Information Technology, University of Bath
OpenMath Content Dictionary Editor
IMU Committee on Electronic Information and Communication
Engineering & Science Board, Council of the British Computer Society
Director of Studies, HPC Doctoral Taught Course Centre
Federal Council, International Foundation for Computational Logic
Programme Chair, Conferences in Intelligent Computer Mathematics 2011