RE: Mathematical and Scientific Notations

Christoph,
 
Thank you.  I will take a look at versioning the composition into a paper for the indicated workshops.
 
The latest version of the composition is available here: http://lists.w3.org/Archives/Public/www-math/2012May/0011.html . 
On the topic of summer plans, some of my other summer plans include organizing and participating in some new Community Groups (http://www.w3.org/community/).  Some ideas for new groups include: an Argumentation Community Group with a special topic in mathematical proofs, a Planning and Scheduling Community Group, a Natural Language Generation Community Group and a Linguistic Annotation Community Group. With regard to argumentation formats, I'm thinking about interoperability with multiple data types and a default content type of "application/rdf+xml" for succinct utilizations of semantic web content in argumentation structures.  Summarily, a format which can contain or link to other data formats, text- and XML-based, utilizing parallel markup techniques.  Such a Community Group could discuss, compare, and contrast existing formats, some of which originated from mathematical approaches, and could possibly arrive at a new format for representing multiple forms of argumentation: conversational, mathematical, sientific, legal and political.
With regard to a Planning and Scheduling Community Group, a preliminary idea is an XML-based representation format with JavaScript interoperability. The other two Community Group ideas pertain to natural language technologies.  Natural language generation techniques could add to the existing natural language recognition and synthesis technologies in the web stack.  XML-based linguistic annotation could augment XML-based documents for purposes including prosodic speech synthesis. Each of those four Community Group ideas sounds interesting to me.  I would be also interested in hearing about any ideas for Community Groups that others might have.   Kind regards, Adam
 > Date: Wed, 9 May 2012 23:12:54 +0100
> From: ch.lange@jacobs-university.de
> To: paul@hoplahup.net; adamsobieski@hotmail.com
> CC: www-math@w3.org
> Subject: Re: Mathematical and Scientific Notations
> 
> Hi Adam,
> 
> 2012-05-09 12:10 Paul Libbrecht:
> > this looks a bit like a paper... or a spec attempt (sounds early).
> 
> I didn't have time to study it in full detail, but…
> 
> > But as a paper, I think you definitely want to explore the publications
> > that have been made close to the topic.
> > I believe there are several notations-elements-related efforts that have
> > been presented at least at:
> > - the MKM conferences
> > - the OpenMath workshops
> 
> … I agree with Paul.
> 
> Depending on your plans for this summer you may want to submit part of 
> this to the OpenMath workshop 
> (http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=openmath&menu=general) 
> – I would welcome such a submission; for the "representation-language" 
> aspects of your work OpenMath would be a good target.
> 
> As far as user interaction is concerned, Paul's MathUI seems a more 
> suitable target; see http://www.cermat.org/events/MathUI/12/.
> 
> A good workshop paper should answer questions such as
> 
> 1. What is the purpose of your work, or a use case for it?  (Well
> 2. How does it relate to previous approaches (such as those mentioned by 
> Paul)
> 3. Is an implementation available?  Or, if not, are you planning to 
> create one?
> 
> Cheers,
> 
> Christoph
> 
> -- 
> Christoph Lange, Jacobs University Bremen (now: University of Birmingham)
> http://kwarc.info/clange, Skype duke4701
> 
> → OpenMath Workshop @ CICM 2012.  Bremen, Germany, 11 July 2012.
>    Deadline 25 May.  http://www.openmath.org
> → I-Semantics Ph.D. Track.  Graz, Austria, 5–7 September 2012.
>    Deadline 31 May.  http://i-semantics.tugraz.at/