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

RE: Math Working Group Charter

From: Adam Sobieski <adamsobieski@hotmail.com>
Date: Sat, 22 Feb 2014 01:51:43 +0000
Message-ID: <SNT150-W73AEB4FBD2EDCF554BBC91C5840@phx.gbl>
To: "www-math@w3.org" <www-math@w3.org>

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

A set of web intents verb specifications 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







From: adamsobieski@hotmail.com
To: www-math@w3.org
Date: Thu, 20 Feb 2014 10:50:09 +0000
Subject: RE: Math Working Group Charter





Math Working Group,



Taskforces and Modular Tasks

In the upcoming years, observing the modular approaches of other Working Groups, the Math Working Group could utilize taskforces and tasks with mailing list threads utilizing a "[taskforce] topic" syntax.  An expanded charter can facilitate taskforces.



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.



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/



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



Diagrams

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

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



Speech Synthesis



Multimedia Synchronization

Highlighting mathematical and scientific notations synchronously to audio overlays.  SMIL.  An example are hyperlinks which facilitate 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.



Multimodal User Input



Extensible and Modular Notations



Extensible and Modular Semantic Definitions





Kind regards,



Adam Sobieski

  		 	   		  
Received on Saturday, 22 February 2014 01:52:12 UTC

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