W3C home > Mailing lists > Public > www-math@w3.org > February 2014

RE: Math Working Group Charter

From: Adam Sobieski <adamsobieski@hotmail.com>
Date: Wed, 26 Feb 2014 04:46:00 +0000
Message-ID: <SNT150-W19673D81471DCC2971DDBBC5800@phx.gbl>
To: "www-math@w3.org" <www-math@w3.org>

Math Working Group,


Greetings.  Summarizing the discussion, thus far, here is a list of possible tasks, for taskforces, prefixes to mailing list threads, as well as some possible topics for discussions.  At some point, we might desire a wiki format for collaboration document(s).  Comments regarding the ideas for tasks and topics as well as ideas for any more possible tasks and topics are welcomed.


Task Ideas


[semantics]
  [dictionaries]
[presentation]
[style]
[books]
  ...
[document structure]
[diagrams] (Diagrams Working Group?)
[graphing] (2D and 3D, web components and JavaScript APIís)
[pxtp]
[input] (multimodal user input including of scientific and mathematical notations)
[synthesis] (speech synthesis)
[interop]
  [clipboard]



Topic Ideas


Interprocess Communication: Web Browser, Computer Algebra System and Automated Theorem Proving Software Interoperability

A set of web intents verb specifications and/or JavaScript API which facilitate interprocess communication with computer algebra and automated theorem proving software.

http://webintents.org/

http://www.w3.org/dpub/IG/wiki/UseCase_Directory#STEM

http://www.w3.org/dpub/IG/wiki/MathML_UC#MathML_3


Cascading Stylesheets

A next version of MathML could utilize CSS4 and emerging CSS in its design.


CSS: Line Wrapping


CSS: Eliding


CSS: Line Height


CSS: Baseline Rhythms

http://books.spec.whatwg.org/#baseline-rhythms


CSS: Semantics and Reference Combinators

annotation-xml[encoding="..."] ... /xref/ mo { ... }


Integrated Typography and Microtypography

A sentence with mathematical markup "x + y" could have the spacing between the glyphs vary in a way consistent with other hypertext and layout processes as opposed to sentences with boxes in them which flow differently during reflowing.  The reflowing becomes more complex when the entire space of notations in <math /> elements is considered.


New CSS Modules, Notations as a Superset of Typography and Microtypography

There could be need for one or more new CSS modules as the notational styling topics are a superset of other typographical topics.


Multimodal User Input

http://lists.w3.org/Archives/Public/www-math/2014Jan/0000.html

http://lists.w3.org/Archives/Public/www-math/2014Jan/0002.html


Some multimodal mathematics input features, extending handwriting and speech recognition with mathematical processing and reasoning, can be facilitated, in a modular manner, with web intents verbs and interoperable computer algebra systems and automated theorem provers.


http://www.w3.org/TR/html5/embedded-content-0.html#the-canvas-element

http://www.w3.org/TR/html5/forms.html#the-input-element

http://msdn.microsoft.com/en-us/library/dd317324(VS.85).aspx

http://graphics.cs.brown.edu/research/pcc/research.html#mathpaper

http://cs.brown.edu/~jjl/mathpad/

http://cs.brown.edu/research/ptc/FluidMath.html

http://lurchmath.org/


Research into Optimization-based Layout and Reflowing

Scalars can be utilized in the CSS for layout, line wrapping and reflowing.  In addition to scenarios with reflowable mathematical and scientific notations in hypertext documents, other document components, e.g. diagrams, can be reflowed based upon optimization techniques.

http://bowman.infotech.monash.edu.au/cbldd07/

http://marvl.infotech.monash.edu/webcola/

http://wwwconference.org/www10/cdrom/papers/452/index.html

http://www.documentengineering.org/


Diagrams

Research into and formats pertinent to the constraint-based and optimization-based layout and styling of diagrams and diagrammatic grammars for sketch recognition and related data formats may have some overlap.

http://lists.w3.org/Archives/Public/www-math/2014Jan/0002.html
Semantics and presentation.

Notational and diagrammatic CSS modules and scalable vector graphics.

Declarative components and scalable vector graphics.

Data-driven diagrams; infographics.

3D diagrams.


Graphing

2D and 3D Graphs.  Mathematics and visualization.  <graph /> elements or web components could utilize MathML in component markup and implementation.


Scalable Vector Graphics, Canvas, WebGL

Other formats, graphical and 3D, are or would be interoperable with scientific and mathematical notations.


EPUB Structural Vocabulary

Structural vocabulary towards STEM textbooks.

http://www.idpf.org/epub/vocab/structure/

see also:

http://purl.org/spar/doco

http://kwarc.info/projects/docOnto/omdoc.html


Speech Synthesis


Multimedia Synchronization

Highlighting mathematical and scientific notations synchronously to audio overlays.  SMIL.

An example of multimedia synchronization are hyperlinks which facilitate multimodal interactivity while media overlays and speech synthesis also activate synchronous indications and animations:

Some hypertext could synchronize with a part of a 3D diagram:

<a href="javascript:..." id="figure_124_polyhedron" smil:onbegin="javascript:..." smil:onend="javascript:...">the polyhedron</a>

Other hypertext could result in a sequence of visual indications:

<a href="javascript:..." id="figure_124_facets" smil:onbegin="javascript:..." smil:onend="javascript:...">each facet of the polyhedron</a>


Indexing, Search and Retrieval

Some interactive document objects have modes which can be described as, referred to as, objects and interrelated.  Objects and some modes being describable, indexable, and navigable to, the indexing, search and retrieval of interrelated objects, modes and configurations could enhance uses of digital books and textbooks and of information in complex diagrams.


Extensible and Modular Notations


Extensible and Modular Semantic Definitions



Kind regards,


Adam Sobieski

 		 	   		  
Received on Wednesday, 26 February 2014 04:46:28 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:27:46 UTC