gmane.comp.web.mathematics

Deadline Extended to 1 June: OpenMath workshop at CICM (11 July, Bremen, Germany)

Christoph LANGE — 2012-05-24T19:34:10

24th OpenMath Workshop
Bremen, Germany
11 July 2012
co-located with CICM 2012
Submission deadline (EXTENDED) 1 June

http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=openmath

OBJECTIVES

OpenMath (http://www.openmath.org) is a language for exchanging
mathematical formulae across applications (such as computer algebra
systems).  From 2010 its importance has increased in that OpenMath
Content Dictionaries were adopted as a foundation of the MathML 3 W3C
recommendation (http://www.w3.org/TR/MathML), the standard for
mathematical formulae on the Web.

Topics we expect to see at the workshop include

    * Feature Requests (Standard Enhancement Proposals) and Discussions
      for going beyond OpenMath 2;
    * Further convergence of OpenMath and MathML 3;
    * Reasoning with OpenMath;
    * Software using or processing OpenMath;
    * New OpenMath Content Dictionaries;

Contributions can be either full research papers, Standard Enhancement
Proposals, or a description of new Content Dictionaries, par

unitless lengths in mpadded attributes

Karl Tomlinson — 2012-05-21T21:54:03

Can get clarification of these questions in the context of mpadded
attributes, please?

1. Are unitless lengths valid attribute values?
2. Is "0" a special case where no unit is valid?

In the attribute table, the description
'( "+" | "-" )? unsigned-number (("%" pseudo-unit?) | pseudo-unit | unit | namedspace )'
has no "?" following the second set of parentheses, indicating
that there must be something following the unsigned-number.

That seems reasonably clear that the answer to both my questions
is "no", but there are some possible hints elsewhere in the spec
that unitless values might be valid, so I want to check that I am
not missing something.

The default for both lspace and voffset is "0".
I guess it's quite feasible to have a default that is not a string
that can be specified as a valid value, but it feels a little odd.

Would it be clearer to specify the default value as "0em", as it
was in MathML2?

In the text "Each format begins with an unsigned-number, which may
be followed by a % sign (effecti

minor suggestions on Public Editor's draft of MathML

Joe Java — 2012-05-16T19:34:04

Nit-picking at the latest MATHML editors draft


1.  Some of the examples appear to use theHyphen-minus (&#x002D;) instead of the &minus; (&#x2212;) character
to represent the minus sign.  For an example see "3.5.5.8 MathML representation of an alignment example" in the editors draft.  

Section "7.7.1.1 Minus" does say that MathML renderers should treat Hyphen-minus as a minus sign, 

but perhaps the defining document of MathML should use the correct character defined as the minus sign.

2. The examples use the Unicode number followed by a commented out long Unicode name for non-ASCII characters.
Now that the "XML Entity Definitions for Characters" is out and the latest HTML5 draft has a table of all the character entity names,
it might be better to only have the entity names used rather than the Unicode number of the non-ASCII characters/entities.

3.  The document HTML5 + MATHML (http://www.w3.org/Math/draft-spec/mathml.html) does not validate with the W3C validator.  

It would be easy to fix this p

Public Editor's draft of MathML

David Carlisle — 2012-05-16T08:22:03



I'm pleased to announce that we now have a copy of the editor's draft of
MathML available. Previously it was only available to W3C members (or as
copies from other locations).

http://www.w3.org/Math/draft-spec/

This is a draft "2nd Edition" of MathML 3.0. It incorporates a number of
errata that have been reported over the last year. We will continue to
gather and correct mistakes in the MathML 3.0 spec and update this draft
accordingly. At the present time we have no plans to issue a actual
second edition as an official W3C Recommendation.


Many but not all issues raised have been addressed, and some editorial
notes have been added for still open issues. Please see the change log
in the diff marked version:

http://www.w3.org/Math/draft-spec/appendixf-d.html#changes.mathml3.02e-3.0

(some of the change log entries are not fully described at present but
the list should link to all sections that have changes.)



The draft is available in several formats

* HTML(4):
http://www.w3.org/Math/draft-spec/


*

Mathematical and Scientific Notations

Adam Sobieski — 2012-05-11T08:25:37

1. Introduction
Described are some ideas about extending MathML to include XSLT functionality for transforming input semantic content into output presentational content.  An element, <notation>, is described and illustrations and examples are provided.  The functionality described herein can accompany the current version of the mathematical markup language or can supplement a next version.  Additionally, a sketch of an XSLT-enhanced XInclude is provided (see Appendix A).
1.1 XSL Transforms
XSLT describes transformations, rules for transforming source trees into resultant trees [XSLT10, XSLT20, XSLT21].  XSLT utilizes the syntax of its target language, XML, and can be viewed as a Turing-complete template processor.  For processing semantic content into presentational content, including from  mathematical semantic content to MathML presentational content, XSLT is often utilized.  XSLT-based approaches can facilitate modularity, configurability, notational conventions and the specialized notational practices o

Mathematical and Scientific Notations

Adam Sobieski — 2012-05-09T03:42:51

1. Introduction
Described are some ideas about extending MathML to include XSLT functionality for transforming input semantic content into output presentational content.  An element, <notation>, is described and illustrations and examples are provided.  The functionality described herein can accompany the current version of the mathematical markup language or can supplement a next version.  Additionally, a sketch of an XSLT-enhanced XInclude is provided (see Appendix A).
1.1 XSL Transforms
XSLT describes transformations, rules for transforming a source tree into a resultant tree [XSLT10, XSLT20, XSLT21].  XSLT utilizes the syntax of its target language, XML, and can be viewed as a Turing-complete template processor.  For processing semantic content into presentational content, including from  mathematical semantic content to MathML presentational content, XSLT is often utilized.  XSLT-based approaches can facilitate modularity, configurability, notational conventions and the specialized notational practices

Japanese Completed translation of A MathML for CSS Profile

Yoshikazu Takamura — 2012-04-30T14:05:16

Dear Translators
And Dear W3C Math mailing list Members

I have completed the translation into Japanese of the following document:

MathML for CSS
Profile(http://www.w3.org/TR/2011/REC-mathml-for-css-20110607/)
CSSに対応するMathMLの概要書(http://www3.fctv.ne.jp/~takamu/mathml-for-
css-ja.html)

I confirm that, in compliance with the W3C Intellectual Property FAQ
(http://www.w3.org/Consortium/Legal/IPR-FAQ-20000620#translate), I have
placed a prominent disclaimer in my translation in which I disclose, (1)
the title of and link to the original English document, (2) that my
document is a translation which may contain errors, and (3) that the
original English document on the W3C website is the one that is
official. (Items (2) and (3) are in the target language.)

I confirm that the links within my translation are valid and I have
endeavoured to provide valid markup and CSS (validation tools are at
http://validator.w3.org/).

Sincerely

30.Apr.2012

高村 吉一(Yoshikazu Takamura)
MailAdress : takamu< at >m

Looking for examples

Mitchell Amiano — 2012-04-23T14:00:19

Hello,

I am assisting a math education research project at North Carolina State University, and doing an informal search for exemplars where rich internet interfaces were used to author, and interact with, course materials. 

Backstory and Motivation: The materials we presently are considering come from systems engineering and operations research. Although it uses mathematics, the approach is to use tools to explain algorithms, rather than a focus on presenting math formulas. It does however make use of spreadsheets (and solvers), and contains a considerable amount of content on linear programming and probability. The materials are meant to be very hands-on, with worksheets based on procedures coming from operations research. There is a strong interest in mobile delivery and use of standards-based approaches to managing and delivering/interacting with the content. 

To sum up: are there good exemplars of interactive curricula aimed at interacting with students, based upon MathML, HTML, ePub... ? 
 
Regards,

Firefox 12 Release Notes

Frédéric WANG — 2012-04-25T15:33:54

Dear all,

Michael Kohlhase asked me to give regular notifications about 
improvements in Firefox's MathML implementation. I'm afraid that it 
could look like spamming but I also agree that it makes sense to inform 
the Math WG about the evolution of this implementation and it may also 
be of interest to the subscribers of math< at >w3.org. I'm just going to copy 
and paste "Firefox for developers" notes but if you need more 
information, do not hesitate to ask. I also try to give more details on 
my blog.

Firefox 12 (Release)

  * To control the directionality of MathML formulas, the |dir|
    attribute is now supported on the |<math>
    <https://developer.mozilla.org/en/MathML/Element/math>| , |<mrow>
    <https://developer.mozilla.org/en/MathML/Element/mrow>| , and
    |<mstyle> <https://developer.mozilla.org/en/MathML/Element/mstyle>|
    elements as well as on MathML Token Elements
    <https://developer.mozilla.org/Special:Tags?tag=MathML:Token+Elements>.
    This is particularly important for some Arabic

Speech Synthesis and Recognition of Mathematical and Scientific Content

Adam Sobieski — 2012-04-16T14:15:15


















































































Math Working Group, Greetings.  In the new Speech API Community Group, I indicated some synthesis and recognition topics pertaining to mathematical and scientific notation (http://lists.w3.org/Archives/Public/public-speech-api/2012Apr/0004.html): EPUB3-style (http://idpf.org/epub/30/spec/epub30-contentdocs.html#sec-xhtml-ssml-attrib) SSML attributes: <math ssml:ph="..."> ... </math> SSML in <annotation-xml>:
 
<math>
<semantics>
...
<annotation-xml encoding="application/ssml+xml"> ... </annotation-xml>
</semantics>
</math> Some other related topics include referencing audio in <annotation>, interoperability with media fragment URI: <math>
<semantics>
...
<annotation encoding="audio/..." src="..." /></semantics>
</math> and speech synthesis interoperability with SMIL-based scenarios. An interesting speech synthesis feature is the automatic synthesis of mathematical and scientific content.  The MathAudio project (http://lpf-esi.f

HostMath - Online LaTeX formula editor and math equation editor

webmaster — 2012-04-12T11:08:09

Dear support,

HostMath is a powerful interactive mathematical expressions editor. It uses WYSIWYG-style editing and allows creating mathematical equations through simple point-and-click techniques.

1. Many pre-defined Templates and Symbols in well-organized palettes that cover Mathematics, Physics, Electronics, and many other higher educations 
2. Fine adjustment for Template shapes, gaps, and thicknesses with visual interface
3. Multiple Undo and Redo 
4. Can generate equations as MathML. MathML will allow you to copy and paste math into many applications that understand MathML. 

URL: http://www.hostmath.com/



Best regards,

webmaster
webmaster< at >hostmath.com
2012-04-12

Mathematical Proofs in HTML5 Documents

Adam Sobieski — 2012-04-02T22:54:17
















Math Working Group,
 
Greetings. I would like to describe some ideas about the representation of, the clipboarding of, and the dragging and dropping of <math> objects as well as other mathematical document objects that can each contain multiple <math> element instances along with other hypertext.  Such mathematical document objects can include representations of mathematical proofs.
 
MathML3 includes <annotation> and <annotation-xml> elements which can provide parallel representations of mathematical semantics (http://www.w3.org/TR/MathML3/chapter5.html). The versatile clipboarding and dragging and dropping of mathematics could, then, be a JavaScript topic so as to provide at least as many data formats as are expressed in a contextual document region or selection. Relevant JavaScript API's topics include: clipboarding (http://dev.w3.org/2006/webapi/clipops/clipops.html), drag and drop (http://dev.w3.org/html5/spec/dnd.html), DataTransferItem (http://dev.w3.org/html5/spec/dnd.html#datatransfe

CfP: Math Information Retrieval Worksohp 14. July 2012

2012-03-29T16:20:46

[apologies for multiple copies]

             MIR 2012 Workshop (Mathematics Information Retrieval)
             July 14. 2011 
             at CICM 2012, Bremen Germany
     http://cicm2012.cicm-conference.org/cicm.php?event=mir

The MIR Workshop brings together researchers working on information retrieval for
mathematical document collections for discussions and friendly systems
competition.

Workshop format:
===========

The MIR Workshop will consist of a traditional-style scientific program with
presentations of submitted papers in the half-day Math IR Symposium together
with the Math IR happening, where workshop participants competitively or jointly
solve a set of Math IR challenges and submit their solutions to a panel of
mathematician judges.

Important dates:
- Symposium:
   Paper Submission:        May 20. 2012
   Notification:                 May 28. 2012
   Final Versions:June 15. 2012

- Happening:
   Dataset available:         now    
   System Registration:    May 20. 2012

Organizers:
Micha

Section 4.3.4.1.2 - type attribute on nary-set.class members

Andrew Miller — 2012-03-26T20:25:35

Section 4.3.4.1.2 includes the following text:

'The above rule applies to all symbols in the listed classes. In the 
case of *nary-set.class* the choice of Content Dictionary to use depends 
on the |type| attribute on the symbol, defaulting to set1 
<http://www.openmath.org/cd/set1.xhtml>, but multiset1 
<http://www.openmath.org/cd/multiset1.xhtml> should be used if 
|type|="multiset"'.

However, according to Appendix A...

*nary-set.class*  =union  <http://www.w3.org/TR/MathML/appendixa.html#parsing_union>  |intersect  <http://www.w3.org/TR/MathML/appendixa.html#parsing_intersect>  |cartesianproduct  <http://www.w3.org/TR/MathML/appendixa.html#parsing_cartesianproduct>
*union*  =*element*  |union|  {CommonAtt  <http://www.w3.org/TR/MathML/appendixa.html#parsing_CommonAtt>,DefEncAtt  <http://www.w3.org/TR/MathML/appendixa.html#parsing_DefEncAtt>, empty}
*intersect*  =*element*  |intersect|  {CommonAtt  <http://www.w3.org/TR/MathML/appendixa.html#parsing_CommonAtt>,DefEncAtt  <http://www.w3.org/TR/MathML/app

MathPlayer 2.2 stretches parentheses to the size of the integral symbol.

saf sied — 2012-03-26T03:39:20

Without using mrow tag around the parentheses, the above happens. This behavior does not happen with the summation symbol for example. Also, this is not an issue with Firefox (XHTML or HTML5). Is there any way we can get it to work for integrals without using mrow tag around the parentheses?

To understand the problem, please copy the following and save as a “.htm” file. Thank you, Saf:

/////////Begin: HTML file source view//////////

<html xmlns:m="http://www.w3.org/1998/Math/MathML" >
 
<head><object id="mathplayer" classid="clsid:32F66A20-7614-11D4-BD11-00104BD3F987"></object>
<?import namespace="m" implementation="#mathplayer"?>
</head>
 
<body>
<div>
<p>Without using mrow tag around parenthesis</p>
<br/>
<m:math><m:mo>&#8747;</m:mo><m:mi>f</m:mi><m:mo>(</m:mo><m:mi>t</m:mi><m:mo>)</m:mo><m:mi>d</m:mi><m:mi>t</m:mi></m:math>
<br/>

<p>After using mrow tag around parenthesis</p>
<m:math><m:mo>&#8747;</m:mo><m:mi>f</m:mi><m:mrow><m:mo>(</m:mo><m:mi>t</m:mi><m:mo>)</m:mo></m:mrow><m:mi>d</m:mi><m:mi>t<

MathML 3 - section 4.6 "The Strict Content MathML Transformation"

Andrew Miller — 2012-03-25T18:57:00

Hi all,

Section 4.6 includes the following text under point 4b:

"Rewrite interval, vectors, matrices, and matrix rows as described in 
Section 4.4.1.1 Interval |<interval>| 
<http://www.w3.org/TR/MathML/chapter4.html#contm.interval>, 
Section 4.4.9.1 Vector |<vector>| 
<http://www.w3.org/TR/MathML/chapter4.html#contm.vector>, 
Section 4.4.9.2 Matrix |<matrix>| 
<http://www.w3.org/TR/MathML/chapter4.html#contm.matrix> and 
Section 4.4.9.3 Matrix row |<matrixrow>| 
<http://www.w3.org/TR/MathML/chapter4.html#contm.matrixrow>".

However, sections 4.4.9.1, 4.4.9.2, and 4.4.9.3 do not describe any 
rules on how to rewrite vector, matrix, and matrixrow elements.

Given that vectors (and matrices, and matrixrows) can have domain 
qualifiers, I presume that there is supposed to be a transformation like 
the one for sets, although it is not clear what OpenMath the following 
is supposed to map into:
<vector>
<bvar><ci>x</ci></bvar>
<domainofapplication><set><cn>1</cn><cn>2</cn><cn>3</cn></set></domainofapplication>

AW: Re: Using content-MathML for computation and analysis in Science and Engineering

Andreas.strotmann — 2012-03-21T00:16:06

I did not actually intend to detract from the previous discussion on assignment operators. I just noticed that a piece of common knowledge would have been important to know for newcomers to MathML Content. 

That said, I'm afraid that I need to burst a little bubble here. MathML Content brings with it what you need to describe (the semantics of) side effect free algorithms. 

Any clean Content markup language would need to add a language primitive for something that has a semantics that falls outside of the range of its existing semantic constructors. Since assignments are not context free, you would probably have some serious trouble to define an OpenMath dictionary with a clean semantics for an assignment operator.

In my 2003 dissertation I argued that this compositionality principle for content markup languages implies, in a similar logic, that typing is another semantic primitive missing from OpenMath (and by implication, MathML 3).

Now as we all know implementations are free to ignore this, as is Pe

AW: Re: Using content-MathML for computation and analysis in Science and Engineering

Andreas.strotmann — 2012-03-20T23:43:15

As I pointed out to Peter offline, bindings become very intuitive when used in a syntax like 

Let x =... . Then. ...

Or

… where x=…

A fundamental property of MathML is that nobody writes it by hand. For most forms of lambda, syntactic sugar removes all the dread, as we demonstrated amply in the WebALT project.

-------- Original message --------
Subject: Re: Using content-MathML for computation and analysis in Science and Engineering 
From: Paul Libbrecht <paul< at >hoplahup.net> 
To: Andreas Strotmann <andreas.strotmann< at >gmail.com> 
CC: Bruce Miller <bruce.miller< at >nist.gov>,"www-math< at >w3.org" <www-math< at >w3.org>,Daniel Marques <dani< at >wiris.com>,Peter Murray-Rust <pm286< at >cam.ac.uk> 


Le 20 mars 2012 à 08:12, Andreas Strotmann a écrit :
More to the point, a sequence of assignments would therefore 'naturally' be expressed as nested lambda expressions in MathML to preserve semantics.


My personal opinion, as a mathematician, is that this way of writing might be well-founded in terms of expressivity or logic, i

AW: Re: Using content-MathML for computation and analysis in Science and Engineering

Andreas.strotmann — 2012-03-20T09:42:41

Peter,

You make an excellent suggestion here. I recently talked to people involved heavily in developing the DDI standard for social science data sets. They too are considering a MathML Content based extension to document data cleaning operations that were performed on the data. Algorithm specifications are a fairly common need, I agree.

-Andreas

-------- Original message --------
Subject: Re: Using content-MathML for computation and analysis in Science and Engineering 
From: Peter Murray-Rust <pm286< at >cam.ac.uk> 
To: Andreas Strotmann <andreas.strotmann< at >gmail.com> 
CC: Bruce Miller <bruce.miller< at >nist.gov>,"www-math< at >w3.org" <www-math< at >w3.org>,Paul Libbrecht <paul< at >hoplahup.net>,Daniel Marques <dani< at >wiris.com> 

null

MathML3 specification is inconsistent about qualifier content of non-strict constructors

Andrew Miller — 2012-03-20T02:34:10

Hi all,

In most of the MathML 3 specification, the content model is described 
using the 'content' field, and if qualifiers are allowed in the content, 
this is mentioned in the 'Content' row of the table.

Throughout most of the specification, mentioning something in the 
'Qualifiers' row for an element doesn't imply that the qualifier can be 
a child element of that element, and instead implies that the qualifier 
is used with the parent apply element - this is explicitly stated in the 
last paragraph of 4.1.5.

However, when constructor elements are defined (for example, in section 
4.4.5.1), qualifiers are listed in the Qualifier row, but not in the 
Content row. The examples (and the 'Parsing MathML' appendix, and the 
transformation rule in 4.3.4.2.2), however, contradict the lack of the 
qualifiers in the element content, so it seems that the omission of the 
qualifiers from the 'Content' rows of the constructors must have been 
accidental.

Best wishes,
Andrew

Minor problems found in MathML 3 specification

Andrew Miller — 2012-03-19T21:35:23

Hi all,

I've found a few (primarily editorial) issues with Chapter 4 of the 
MathML 3 specification; I can't find the link for a bug tracker for 
specification issues, so I presume this list is the correct place to 
send things like that?

1. Rewrite: partialdiffdegree
      This rule refers to the expression as 'expression-in-x1-xk' in the 
match rule, but as 'A' in what it is supposed to be transformed into.

2. Section 4.2.2.1 Strict uses of|<ci>
      This section neglects to specify how ci elements with type 
'complex' are transformed into strict form, given that there is no 
complex in the mathmltypes CD.

Best wishes,
Andrew

|