On 09/10/2011 17:20, Professor James Davenport wrote: > I have the opportunity to supervise a mathematics student, but apparently > a good c# and 'internet' programmer, for a project. What are people's > ideas about what tool support we could do with? Ideas before 12:00 GMT > (14:00 central european summer time) will get first pick.
If you say C#, it might make sense to evolve Jonathan Stratford's OM-based unit converter.One problem with it was that it didn't support OpenMath input/output but merely used OpenMath undo the hood. BTW we did some related work this year (actually coming up with a competing approach); see https://svn.eecs.jacobs-university.de/svn/eecs/archive/bsc-2011/mcirlanaru.pdf Cheers, Christoph -- Christoph Lange, Jacobs University Bremen http://kwarc.info/clange, Skype duke4701 Workshop: Ontologies come of Age in the Semantic Web (OCAS) Ontology User Experience Challenge (1st prize US$ 2000) October 23 or 24 at the Intl. Semantic Web Conference, Bonn, Germany Submission deadline August 22, http://ocas.mywikipaper.org _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
