# Planet MathML

The Planet MathML aggregates posts from various blogs that concern MathML. Although it is hosted by W3C, the content of the individual entries represent only the opinion of their respective authors and does not reflect the position of W3C.

## Contact

If you own a blog with a focus on MathML, and want to be added or removed from this aggregator, please get in touch with Bert Bos at bert@w3.org.

All times are UTC.

Atom feed

## UNDMarch 08, 2014 Re: AH Formatter supports MathML 3.0

Author: | Channel: www-math@w3.org Mail Archives

On 08/03/2014 01:04, koba@antenna.co.jp wrote:
> AH Formatter V6.2 is now available with the newly rewritten MathML
> Rendering Engine which supports MathML V3.0 elementary math etc.

thanks for that!

David


## UNDMarch 08, 2014 AH Formatter supports MathML 3.0

Author: | Channel: www-math@w3.org Mail Archives

Hello everybody!

AH Formatter V6.2 is now available with the newly rewritten MathML
Rendering Engine which supports MathML V3.0 elementary math etc.

http://antennahouse.com/xslfo/mathml-conformance.htm

Here is a sample html and PDF.

http://www.antenna.co.jp/AHF/ahf_samples/v62/mathml-demo.zip

Thank you for the MathML specification.

Best regards,

Tokushige Kobayashi
Antenna House, Inc.
koba <koba@antenna.co.jp>
http://www.antenna.co.jp
http://www.cas-ub.com
http://blog.cas-ub.com


## en-US March 04, 2014 Social media for students and educators | an interview with Demonstranda

Author: | Channel: MathJax

Corey Katouli is the founder of Demonstranda

Here is our third interview with interesting people within the MathJax community. This time we had the pleasure to talk to Corey Katouli from Demonstranda.

Demonstranda describes itself as a social media site for students and educators. Can you tell us a little bit about Demonstranda and how you came up with the idea?

The idea came to us while in grad school. Many of our colleagues wanted to discuss derivations of various finance equations and how to properly (hand) calculate different things. We were all using MS Word and emailing documents back and forth. It was completely inefficient and outdated. So my partner (Timon Safaie, co-founder and CTO) and I started to think about how to leverage the power of social networking in order to engage our friends in a productive way.

But that wasn’t enough when it came to communicating mathematics online. We needed to build an editor that makes typing math online more accessible and simple so that anyone could communicate their ideas online seamlessly. And so we set out to build our technology, MathMatix, and the social platform, Demonstranda, which holds it all together.

Can you tell us a little bit about your team and the history of the project?

I am somewhat of a serial entrepreneur. My first real startup was an online music marketing and distribution platform called ArtistDriven. We were trying to help artists distribute their music on their own and give them tools they need to market themselves. We had some innovative products and nice features and were starting to do pretty well until Myspace decided to sell music through their platform. They were a tough competitor with endless resources, which forced us to fold the company.

After a few years of hiatus, I decided to go to business school with the intention to meet some likeminded people and start a new venture. That is where I met Timon. We didn’t know what it we wanted to do, but we knew that what ever it was, it needed to matter and have a positive impact on society.

Prior to co-founding Demonstranda, Timon (a software engineer from UC Berkeley) worked in the aerospace industry for over seven years, building simulations software for classified projects. He did quite a bit of freelance web development work during his down time. His skills and talent proved to be perfect for our team’s chemistry: I do the fun stuff (design) and he does the hard stuff (programming).

To date, we have bootstrapped the entire project investing all of our own funds and time into it. This makes every accomplishment that much sweeter.

Demonstranda is operating in a rapidly changing market, competing with everything from MOOCs to Facebook to Wikis. What makes Demonstranda unique in this field?

The EdTech sector is plasma hot. There are a lot of cool innovative startups that are popping up everywhere. As with most multi-sided markets, many companies fall into ecosystems and, therefore, are not necessarily competitors. We all have a specific thing we focus on so that we can be the best at doing that one thing.

What makes Demonstranda unique is how we are going about addressing market needs. We are focused on making communication of knowledge simple, fun and social. MathMatix is a good representative of this mission.

Learning is made possible only through the effective communication of ideas. MathMatix makes communicating math online simple so that students and educators can communicate in a more effective and efficient manner.

There are lots of tools out there that we use in our daily lives to help us be more productive. Our opinion is that many of these tools need a massive overhaul. Most users don’t think this because they are use to dealing with the present inefficiencies. However, once they are presented with a better technology that allows them to do the same thing, in a fraction of the time, they realize the limitation of the old technology.

You are about to release a major upgrade to MathMatix, your math input technology. What are the driving concepts behind it?

User experience is the primary motivator. Typing math online (or offline) should be simple and intuitive. You should only think about the math not how to type the math. This will make authoring mathematical content a pleasurable experience.

With our recent upgrade, we have introduced a copy/paste functionality as well as some more tweaks to the user experience, making the tool feel more natural. There is also some less sexy backend stuff we did to make things a bit more elegant from the code viewpoint. As a result, MathMatix will be more intelligent in typesetting what you intended in subtle ways. This should allow the user to maintain focus on working on the math at hand.

You are serving both students and educators. What has been your most important experience with this diverse crowd?

Students want more freedom and educators want more control (in general). This makes creating a platform that makes both sides happy challenging. We believe we have crafted a nice design that addresses this problem with the roll out of our beta platform. However, this will be a battle that will go on for some time to come.

We tend to favor a more open platform since the size of the knowledge base will be much larger, which will lead to higher content quality over time. However, open systems are subject to abuse and that seems to be the primary source of concern with educators. And it is a valid one too. However, the long-term benefits of an open system exceedingly outweigh the short-term costs. We can always innovate on an open system in order to reduce abuse, but if we commit to a closed system, then it will be hard to open it up down the line.

Collaboration often leads to publication. How are your users able to reuse their content in and outside of Demonstranda?

Without saying too much about our future product lines, we are working diligently on features that allow users to do exactly this. The main challenge usually comes down to design, not technology. Design requires a lot of testing and iteration in order to get things right (just ask Apple). In the meantime, think of Demonstranda as a social platform where you can ask school related questions from your academic network and meet people who share similar academic interests.

What are your near and long term plans for the future of Demonstranda?

In the short-run we are focused on making our platform as cool and useful as possible and grow our installed base. In the long-run we want to make the communication of math simple across all platforms and interfaces. Leveraging voice and eyewear technology for instance, we can build new ways of communicating math more efficiently than ever before. Ultimately, our hope is that learning and communicating math will become more accessible with the onset of these new media.

## UND March 04, 2014 Madcap Software Launches Latest Version of the Madpak Technical ...

Channel: Ask.com News Search for "mathml"

 TMC Net - Found Mar. 4, 2014 ... for FrameMaker 12 import but also for automatically converting proprietary FrameMaker equations to the new MathML equation type on import. MadCap Software Enhances MadPak Suite with HTML5 Support - TMC Net Madcap Software Launches Latest Version of the Madpak Technical ... - Yahoo! Finance Explore All

## UND March 04, 2014 Madcap Software Launches Latest Version of the Madpak Technical ...

Channel: Ask.com News Search for "mathml"

 Yahoo! Finance - Found 1 hour ago ... for FrameMaker 12 import but also for automatically converting proprietary FrameMaker equations to the new MathML equation type on import.

## UNDFebruary 28, 2014 GESS education awards

Author: | Channel: www-math@w3.org Mail Archives

As you might already know WIRIS editor is a finalist of GESS EDUCATION
AWARDS. In order to help us, to promote the Maths on the Web and MathML in
the Arabic world, I would appreciate if you vote us at
https://www.surveymonkey.com/s/7DYJ7F2

GESS is an acronym of Gulf Educational Suppliers & Solutions.

Daniel Marques from WIRIS


## UNDFebruary 28, 2014 CICM 2014: Extended Deadline March 14th, 2014

Author: | Channel: www-math@w3.org Mail Archives

﻿   CICM 2014 - Conferences on Intelligent Computer Mathematics
July 7-11, 2014 at University of Coimbra, Portugal

http://www.cicm-conference.org/2014

Call for Papers

** Extended Deadline: March 14th, 2014 **

-------------------------------------------------------------------
* Co-located Workshops *
- CCA'14: Workshop on Compact Computer Algebra
(organiser: Elena Smirnova)
- MathUI'14: Workshop on Mathematical User Interfaces
(organisers: Andrea Kohlhase, Paul Libbrecht)
- OpenMath Workshop (organisers: James Davenport, Michael Kohlhase)
- Workshop on The Notion of Proof
(organisers: Jesse Alama, Reinhard Kahle)
- ThEdu'14: Workshop on Theorem Provers Components for Educational
Software (organisers: Walther Neuper, Pedro Quaresma)
-------------------------------------------------------------------

As   computers   and   communications  technology   advance,   greater
opportunities  arise for  intelligent mathematical  computation. While
computer  algebra, automated  deduction,  mathematical publishing  and
novel user interfaces individually have long and successful histories,
we  are now seeing  increasing opportunities  for synergy  among these
areas.  The  Conferences on  Intelligent  Computer Mathematics  (CICM)
offer a venue for discussing these areas and their synergy.

CICM has been held annually  as a joint meeting since 2008, colocating
related conferences  and workshops to advance work  in these subjects.
Previous meetings have been held in Birmingham (U.K. 2008), Grand Bend
(Canada  2009), Paris  (France 2010),  Bertinoro (Italy  2011), Bremen
(Germany 2012) and Bath (U.K. 2013).

This is  a call for papers  for CICM 2014,  which will be held  at the
University   of  Coimbra,   7-11   July  2014,   following  the   10th
International Workshop on Automated Deduction in Geometry.

The principal tracks of the conference will be:

Calculemus (Symbolic Computation and Mechanised Reasoning)
Chair: James Davenport

DML (Digital Mathematical Libraries)
Chair: Petr Sojka

MKM (Mathematical Knowledge Management)
Chair: Josef Urban

Systems and Projects
Chair: Alan Sexton

The local  arrangements will be coordinated by  the Local Arrangements
Chair,   Pedro  Quaresma  (U.  Coimbra,  Portugal),  and  the  overall
programme will be organised by the General Program Chair, Stephen Watt
(U. Western Ontario, Canada).

The proceedings of the conference will be published by Springer Verlag
as a volume in Lecture Notes in Artificial Intelligence (LNAI).

As in  previous years, it is  anticipated that there will  be a number
co-located workshops, including one to mentor doctoral students giving
presentations.

----------------------------------------------------------------
Important dates
----------------------------------------------------------------

Conference submissions:

Abstract submission (extended):      ** 14 March 2014 **
Submission deadline (extended):      ** 14 March 2014 **
Reviews sent to authors:                 4 April 2014
Rebuttals due:                           8 April 2014
Notification of acceptance:             14 April 2014
Camera ready copies due:                25 April 2014

Work in progress and Doctoral Programme submissions:

Submission deadline:          28 April 2014
(Doctoral: Abstract+CV)
Notification of acceptance:   19 May 2014
Camera ready copies due:      26 May 2014

Conference:                     7-11  July 2014

----------------------------------------------------------------
Tracks
----------------------------------------------------------------

================================================================
Track Calculemus: Symbolic Computation and Mechanised Reasoning
================================================================

Calculemus   2014  invites   the  submission   of   original  research
contributions to be considered for publication and presentation at the
conference.  Calculemus  is a series  of conferences dedicated  to the
integration  of  computer  algebra   systems  (CAS)  and  systems  for
mechanised  reasoning  like   interactive  proof  assistants  (PA)  or
automated theorem  provers (ATP).  Currently,  symbolic computation is
divided into several (more  or less) independent branches: traditional
ones  (e.g., computer  algebra and  mechanised reasoning)  as  well as
newly emerging ones (on  user interfaces, knowledge management, theory
exploration, etc.) The main concern  of the Calculemus community is to
bring these  developments together in order to  facilitate the theory,
design,  and  implementation   of  integrated  mathematical  assistant
systems  that  will  be  used routinely  by  mathematicians,  computer
scientists and  all others who need  computer-supported mathematics in
their every day business.

All  topics  in  the  intersection  of computer  algebra  systems  and
automated  reasoning systems  are  of interest  for Calculemus.  These
include but are not limited to:

* Automated theorem proving in computer algebra systems.
* Computer algebra in theorem proving systems.
* Adding reasoning capabilities to computer algebra systems.
* Adding computational capabilities to theorem proving systems.
* Theory, design and implementation of interdisciplinary systems for
computer mathematics.
* Case studies and applications that involve a mix of computation and
reasoning.
* Case studies in formalization of mathematical theories.
* Representation of mathematics in computer algebra systems.
* Theory exploration techniques.
* Combining methods of symbolic computation and formal deduction.
* Input languages, programming languages, types and constraint languages,
and modeling languages for mathematical assistant systems.
* Homotopy type theory.
* Infrastructure for mathematical services.

================================================================
Track DML: Digital Mathematical Libraries
================================================================

Mathematicians  dream of  a digital  archive containing  all validated
mathematical literature ever published, reviewed, properly linked, and
verified.   It is  estimated that  the entire  corpus  of mathematical
knowledge  published over  the centuries  does not  exceed 100,000,000
pages,   an   amount   easily   manageable  by   current   information
technologies.

The  track objective  is to  provide a  forum for  the  development of
math-aware  technologies, standards,  algorithms and  formats  for the
fulfillment  of the  dream of  a global  digital  mathematical library
(DML).  Computer scientists (D) and  librarians of the digital age (L)
are  especially welcome to  join mathematicians  (M) and  discuss many
aspects of DML preparation.

Track topics  are all topics of mathematical  knowledge management and
digital libraries applicable in the context of DML building, including
the  processing  of  mathematical  knowledge expressed  in  scientific
papers in natural languages:

* Math-aware text mining (math mining) and MSC classification
* Math-aware representations of mathematical knowledge
* Math-aware computational linguistics and corpora
* Math-aware tools for [meta]data and fulltext processing
* Math-aware OCR and document analysis
* Math-aware information retrieval
* Math-aware indexing and search
* Authoring languages and tools
* MathML, OpenMath, TeX and other mathematical content markup
languages
* Web interfaces for DML content
* Mathematics on the web, math crawling and indexing
* Math-aware document processing workflows
* Archives of written mathematics
* DML management, business models
* DML rights handling, funding, sustainability
* DML content acquisition, validation and curation
* Reports and experience from running existing DMLs

================================================================
Track MKM: Mathematical Knowledge Management
================================================================

Mathematical  Knowledge Management  is an  interdisciplinary  field of
research in the intersection of mathematics, computer science, library
science, and scientific publishing. The objective of MKM is to develop
new and better ways  of managing sophisticated mathematical knowledge,
based on innovative technology  of computer science, the Internet, and
intelligent   knowledge   processing.  MKM   is   expected  to   serve
mathematicians,  scientists,   and  engineers  who   produce  and  use
mathematical  knowledge; educators  and students  who teach  and learn
mathematics;   publishers  who   offer   mathematical  textbooks   and
disseminate   new    mathematical   results;   and    librarians   and
mathematicians who catalog and organize mathematical knowledge.

The  track is  concerned with  all aspects  of  mathematical knowledge
management. A non-exclusive list of important topics includes:

* Representations of mathematical knowledge
* Authoring languages and tools
* Repositories of formalized mathematics
* Deduction systems
* Mathematical digital libraries
* Diagrammatic representations
* Mathematical OCR
* Mathematical search and retrieval
* Math assistants, tutoring and assessment systems
* MathML, OpenMath, and other mathematical content standards
* Web presentation of mathematics
* Data mining, discovery, theory exploration
* Computer algebra systems
* Collaboration tools for mathematics
* Challenges and solutions for mathematical workflows

================================================================
Track Systems and Projects
================================================================

The  Systems and  Projects  track of  the  Conferences on  Intelligent
Computer Mathematics  is a forum for presenting  available systems and
new and ongoing  projects in all areas and topics  related to the CICM
conferences:

* Deduction and Computer Algebra (Calculemus)
* Digital Mathematical Libraries (DML)
* Mathematical Knowledge Management (MKM)

The track aims  to provide an overview of  the latest developments and
trends within the CICM community  as well as to exchange ideas between
developers and introduce systems to an audience of potential users.

----------------------------------------------------------------
Submission Instructions
----------------------------------------------------------------

Electronic submission is done through Easychair

http://www.easychair.org/conferences/?conf=cicm2014

All papers should be prepared  in LaTeX and formatted according to the
requirements of Springer's LNCS  series (the corresponding style files
By submitting  a paper  the authors  agree that if  it is  accepted at
least one of the authors will attend the conference to present it.

Submissions  to the research  tracks (Calculemus,  DML, MKM)  must not
exceed 15 pages  in the LNCS style and will  be reviewed and evaluated
with respect to relevance,  clarity, quality, originality, and impact.
Shorter papers,  e.g., for  system descriptions, are  welcome. Authors
will have  an opportunity to  respond to their papers'  reviews before
the programme committee makes a decision.

System descriptions  and projects descriptions should be  2-4 pages in
the LNCS style and should present

* newly developed systems,
* systems not previously been presented to the CICM community, or
* significant updates to existing systems.

Systems must either be  available for download or currently executable
by the general public as a web application.

Project presentations should describe

* projects that are new or about to start,
* ongoing projects that have not yet been presented to the CICM community or
* significant new developments in ongoing previously presented projects.

Presentations of  new projects  should mention relevant  previous work
and  include  a roadmap  that  outlines  concrete  steps. All  project
submissions must have a live  project website and should contain links

Accepted conference submissions from all tracks will be published as a
volume in  the series Lecture Notes in  Artificial Intelligence (LNAI)
by  Springer. In  addition to  these formal  proceedings,  authors are
permitted and encouraged to publish the final versions of their papers
on arXiv.org.

Work-in-progress submissions  are intended to provide a  forum for the
presentation of original  work that is not yet in  a suitable form for
submission as a full paper for a research track or system description.
This includes work in progress  and emerging trends. Their size is not
limited, but we recommend 5-10 pages.

The  programme   committee  may  offer  authors   of  rejected  formal
submissions  the   opportunity  to  publish   their  contributions  as
work-in-progress   papers  instead.   Depending  on   the   number  of
work-in-progress  papers  accepted,  they  will be  presented  at  the
conference either  as short talks or as  posters. The work-in-progress
proceedings will be published as a technical report, as well as online
with CEUR-WS.org.

----------------------------------------------------------------
Doctoral Programme
----------------------------------------------------------------

Chair: David Wilson (University of Bath, UK)

CICM  is  an  excellent  opportunity  for graduate  students  to  meet
established researchers from the  areas of computer algebra, automated
deduction, and mathematical publishing.

The Doctoral Programme provides a  dedicated forum for PhD students to
present  and discuss  their ideas,  ongoing or  planned  research, and
achieved  results   in  an  open   atmosphere.  It  will   consist  of
presentations  by  the  PhD  students to  get  constructive  feedback,
advice, and suggestions from the research advisory board, researchers,
and  other PhD  students.  Each PhD  student  will be  assigned to  an
experienced researcher  from the research advisory board  who will act
as a mentor and who will provide detailed feedback and advice on their
intended and ongoing research.

Students at  any stage of  their PhD can  apply and should  submit the
following documents through EasyChair:

* A  two-page  abstract  of   your  thesis  describing  your  research
questions,  research   plans,  completed  and   remaining  research,
evaluation plans and publication plans;

* A   two-page  CV   that  includes   background   information  (name,
university,  supervisor), education  (degree sought,  year/status of
degree, previous degrees), employments, relevant research experience
(publications,  presentations,  attended  conferences or  workshops,
etc.)

Submission Deadline: 28 April 2014.

----------------------------------------------------------------
Programme Committee
----------------------------------------------------------------

General chair: Stephen Watt (University of Western Ontario, Canada)

Calculemus track
James Davenport, University of Bath, UK  (Chair)
Matthew England, University Of Bath, UK,
Dejan Jovanović, SRI, USA
Laura Kovács, Chalmers University of Technology, Sweden
Assia Mahboubi, INRIA, France
Adam Naumowicz, Institute of Informatics, U. Bialystok, Poland
Grant Passmore, U. Cambridge and U. Edinburgh, UK
Florian Rabe, Jacobs University Bremen. Germany
Claudio Sacerdoti Coen, University of Bologna, Italy
Freek Wiedijk, Radboud University Nijmegen, Netherlands
(Other invitations pending)

DML track
Petr Sojka, Masaryk University, Brno, CZ  (Chair)
Akiko Aizawa, NII, University of Tokyo, Japan
Łukasz Bolikowski, ICM, University of Warsaw, Poland
Thierry Bouche, Université Joseph Fourier, Grenoble, france
Yannis Haralambous, Inst Mines-Télécom - Télécom Bretagne, France
Janka Chlebíková, School of Computing, University of Portsmouth, UK
Michael Kohlhase, Jacobs University Bremen, Germany
Jiří Rákosník, Institute of Mathematics AS CR, CZ
David Ruddy, Cornell University, USA
Volker Sorge, University of Birmingham, UK
Frank Tompa, University of Waterloo, Canada
Richard Zanibbi, Rochester Institute of Technology, USA

MKM track
Josef Urban, Radboud University Nijmegen, The Netherlands  (Chair)
Rob Arthan, Queen Mary University of London, UK
David Aspinall, Univerity of Edinburgh, UK
Michael Beeson, San Jose State University, USA
Claudio Sacerdoti Coen, University of Bologna, Italy
Thomas Hales, University of Pittsburgh, USA
Johan Jeuring, Open Universiteit Nederland and Universiteit Utrecht, NL
Peter Jipsen, Chapman University, USA
Cezary Kaliszyk, University of Innsbruck, Austria
Michael Kohlhase, Jacobs University Bremen, Germany
Christoph Lange, University of Birmingham, UK
Paul Libbrecht, Weingarten University of Education, Germany
Ursula Martin, Queen Mary University of London, UK
Bruce Miller, NIST, USA
Adam Naumowicz, University of Bialystok, Poland
Florian Rabe, Jacobs University Bremen, Germany
Alan Sexton, University of Birmingham, UK
Enrico Tassi, INRIA, France
Stephen Watt, University of Western Ontario, Canada
Makarius Wenzel, Université Paris-Sud 11, France
Freek Wiedijk, Radboud University Nijmegen, The Netherlands

Systems & Projects track
Alan Sexton, University of Birmingham, UK  (Chair)
Christoph Lange, University of Bonn, Germany
Jesse Alama, Technical University of Vienna, Austria
Rob Arthan, Queen Mary University of London, UK
Deyan Ginev, Jacobs University Bremen, Germany
Jónathan Heras, University of Dundee, Scotland
Mateja Jamnik, University of Cambridge, UK
Predrag Janičić, University of Belgrade, Serbia
Christoph Lüth, DFKI and University of Bremen, Germany
Bruce Miller, NIST, Gaithersburg, Maryland, USA
Hendrik Tews, TU Dresden, Germany


## UND February 26, 2014 MathML support in the meTypeset typesetter - Dr Martin Paul Eve

Author: | Channel: mathml - Google Blog Search

MathML support in the meTypeset typesetter | Lecturer in English Literature at the University of Lincoln.

## UNDFebruary 26, 2014 RE: Math Working Group Charter

Author: | Channel: www-math@w3.org Mail Archives


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.

[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

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/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/

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,



## en-USFebruary 25, 2014 MathJax community update #5

Author: | Channel: MathJax

2014 is well on its way and there’s already a slew of new cool things happening around the MathJax community — it’s about time for another community update!

### GitdenReader improves MathML support for epub3

Gitden has released GitdenReader 4 for Android with improvements to the MathJax integration. Future improvements are in the works, so go check it out and provide feedback to the Gitden team!

### WriteLaTeX adds RichText editor with MathJax support

WriteLaTeX users can now see a live preview of their math in the editing pane as well. Thanks to MathJax support, users simply move their cursor into the equation to switch back to TeX. Check out the WriteLaTeX demo and switch the editor to “RichText”.

### Jekyll switches to Kramdown

Good news for MathJax users of Jekyll. Jekyll switched to Kramdown as default markdown processor which improves compatibility with MathJax. Hattip to @pepper_chico

### Stackexchange on Android adds MathJax support

The still brand new Stackexchange app for Android now comes with MathJax support.

### Mathdown alpha released

Mathdown (on github) is a new, collaborative markdown+MathJax editor using CodeMirror and Firepad. Editing equations is easy, you simply move the cursor into an equation. Go check it out!

### Quizzer adds MathJax support

Frank Bennet has added MathJax support to Quizzer, a lightweight writing lab quiz engine for node.js.

### Draw.io adds MathJax support

Draw.io recently added MathJax support. For questions, head over to their support page on G+.

### New Firefox add-ons

Fred Wang has released two new Firefox plugins. MathML Copy provides easy copy&paste access to MathML while MathJax Native MML lets users set MathJax to native MathML output, independent of page authors. You can read more at Fred’s Blog.

### TeXzilla 0.9.4 released

Fred Wang has also released version 0.9.4 of TeXzilla, a TeX-to-MathML converter with iTeXMML compatible syntax.

### Tiddlywiki MathJax plugin news

The know well-known Tiddlywiki MathJax plugin is now hosted on github — go and contribute! (via Phil Evans).

### On StackOverflow: input fields, canvas

A couple of interesting questions came up on StackOverflow.

## en February 25, 2014 TeXZilla 0.9.4 Released

Author: | Channel: Blog de Frédéric - Tag - mathml

## Introduction

For the past two months, the Mozilla MathML team has been working on TeXZilla, yet another LaTeX-to-MathML converter. The idea was to rely on itex2MML (which dates back from the beginning of the Mozilla MathML project) to create a LaTeX parser such that:

• It is compatible with the itex2MML syntax and is similarly generated from a LALR(1) grammar (the goal is only to support a restricted set of core LaTeX commands for mathematics, for a more complete converter of LaTeX documents see LaTeXML).
• It is available as a standalone Javascript module usable in all the Mozilla Web applications and add-ons (of course, it will work in non-Mozilla products too).
• It accepts any Unicode characters and supports right-to-left mathematical notation (these are important for the world-wide aspect of the Mozilla community).

The parser is generated with the help of Jison and relies on a grammar based on the one of itex2MML and on the unicode.xml file of the XML Entity Definitions for Characters specification. As suggested by the version number, this is still in development. However, we have made enough progress to present interesting features here and get more users and developers involved.

## Quick Examples

\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1

x2a2+y2b2=1\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1

∑_{n=1}^{+∞} \frac{1}{n^2} = \frac{π^2}{6}

∑n=1+∞1n2=π26∑_{n=1}^{+∞} \frac{1}{n^2} = \frac{π^2}{6}

س = \frac{-ب\pm\sqrt{ب^٢-٤اج}}{٢ا}

س=-ب±ب٢-٤اج٢اس = \frac{-ب\pm\sqrt{ب^٢-٤اج}}{٢ا}

## Live Demo / FirefoxOS Web app

A live demo is available to let you test the LaTeX-to-MathML converter with various options and examples. For people willing to use the converter on their mobiles a FirefoxOS Web app is also available.

## Using TeXZilla in a CommonJS program or Web page

TeXZilla is made of a single TeXZilla.js file with a public API to convert LaTeX to MathML or extract the TeX source from a MathML element. The converter accepts some options like inline/display mode or RTL/LTR direction of mathematics.

You can load it the standard way in any Javascript program and obtain a TeXZilla object that exposes the public API. For example in a commonJS program, to convert a TeX source into a MathML source:

  var TeXZilla = require("./TeXZilla");
console.log(TeXZilla.toMathMLString("\\sqrt{\\frac{x}{2}+y}"));


or in a Web Page, to convert a TeX source into a MathML DOM element:

  <script type="text/javascript" src="http://www.maths-informatique-jeux.com/blog/frederic/?post/2014/02/25/TeXZilla.js"></script>
...
var MathMLElement = TeXZilla.toMathML("\\sqrt{\\frac{x}{2}+y}");


## Using TeXZilla in Mozilla Add-ons

One of the goal of TeXZilla is to be integrated in Mozilla add-ons, allowing people to write cool math applications (in particular, we would like to have an add-on for Thunderbird). A simple Firefox add-on has been written and passed the AMO review, which means that you can safely include the TeXZilla.js script in your own add-ons.

TeXZilla can be used as an addon-sdk module. However, if you intend to use features requiring a DOMParser instance (for example toMathML), you need to initialize the DOM explicitly:

  var {Cc, Ci} = require("chrome");
TeXZilla.setDOMParser(Cc["@mozilla.org/xmlextras/domparser;1"].
createInstance(Ci.nsIDOMParser));


More generally, for traditional Mozilla add-ons, you can do

  TeXZilla.setDOMParser(Components.
classes["@mozilla.org/xmlextras/domparser;1"].
createInstance(Components.interfaces.nsIDOMParser));


## Using TeXZilla from the command line

TeXZilla has a basic command line interface. However, since CommonJS is still being standardized, this may work inconsistently between commonjs interpreters. We have tested it on slimerjs (which uses Gecko), phantomjs and nodejs. For example you can do

  $slimerjs TeXZilla.js parser "a^2+b^2=c^2" true <math xmlns="http://www.w3.org/1998/Math/MathML" display="block"><semantics><...  or launch a Web service (see next section). We plan to implement a stream filter too so that it can behave the same as itex2MML: looking the LaTeX fragments from a text document and converting them into MathML. ## Using TeXZilla as a Web Server TeXZilla can be used as a Web Server that receives POST and GET HTTP requests with the LaTeX input and sends JSON replies with the MathML output. The typical use case is for people willing to perform some server-side LaTeX-to-MathML conversion. For instance, to start the TeXZilla Webserver on port 7777: $ nodejs TeXZilla.js webserver 7777
Web server started on http://localhost:7777


Then you can sent a POST request:

  $curl -H "Content-Type: application/json" -X POST -d '{"tex":"x+y","display":"true"}' http://localhost:7777 {"tex":"x+y","mathml":"<math xmlns=\"http://www.w3.org/1998/Math/MathML\"...  or a GET request: $ curl "http://localhost:7777/?tex=x+y&rtl=true"
{"tex":"x+y","mathml":"<math xmlns=\"http://www.w3.org/1998/Math/MathML\"...


Note that client-side conversion is trivial using the public API, but see the next section.

## Web Components Custom Element <x-tex>

We used the X-Tag library to implement a simple Web Components Custom Element <x-tex>. The idea is to have a container for LaTeX expressions like

  <x-tex dir="rtl">س = \frac{-ب\pm\sqrt{ب^٢-٤اج}}{٢ا}</x-tex>


that will be converted into MathML by TeXZilla and displayed in your browser: س=-ب±ب٢-٤اج٢اس = \frac{-ب\pm\sqrt{ب^٢-٤اج}}{٢ا}. You can set the display/dir attributes on that <x-tex> element and they will be applied to the [itex] element. Instances of <x-tex> elements also have a source property that you can use to retrieve or set the LaTeX source. Of course, the MathML output will automatically be updated when dynamic changes occur. You can try this online demo.

## CKEditor Plugins / Integration in MDN

Finally, we created a first version of a TeXZilla CKEditor plugin. An online demo is available here. We already sent a pull request to Kuma and we hope it will soon enable users to put mathematical mathematical formulas in MDN articles without having to paste the MathML into the source code view. It could be enhanced later with a more advanced UI.

## UNDFebruary 22, 2014 RE: Math Working Group Charter

Author: | Channel: www-math@w3.org Mail Archives


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/research/ptc/FluidMath.html

http://lurchmath.org/

Research into Optimization-based Layout and Reflowing

Handwriting, Sketch and Diagram Recognition

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

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.

To: www-math@w3.org
Date: Sat, 22 Feb 2014 01:51:43 +0000
Subject: RE: Math Working Group Charter

Math Working Group,

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.

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/

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,



## UNDFebruary 22, 2014 RE: Math Working Group Charter

Author: | Channel: www-math@w3.org Mail Archives


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

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

Math Working Group,

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.

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/

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,



## UNDFebruary 21, 2014 Re: Math Working Group Charter

Author: | Channel: www-math@w3.org Mail Archives

Math Working Group,

For those interested in the details of the W3C, activity and group processes topical:

http://www.w3.org/2005/10/Process-20051014/activities.html#Activities

http://www.w3.org/2005/10/Process-20051014/groups.html

http://www.w3.org/2005/10/Process-20051014/groups.html#WGCharter

http://www.w3.org/2005/10/Process-20051014/groups.html#WGCharterDevelopment

http://www.w3.org/2005/10/Process-20051014/groups.html#CharterReview

http://www.w3.org/2005/10/Process-20051014/organization#AC

One topic, pertaining to the digital books and textbooks developments and the mission statement component of the charter, from:

“The mission of the Math Working Group is to facilitate and promote the use of the Web for mathematical and scientific communication.”

to something resembling:

“The mission of the Math Working Group is to facilitate and promote the use of the Open Web Platform for mathematical and scientific communication and education.”

As interesting to participants, the Math Activity and the charter of the Math Working Group, chartered until March 31 of 2014, can extend, expand and to include modular taskforces which we can determine or become agile to determine at later points, with the duration of charters typically between six months and two years.

Kind regards,



## UNDFebruary 20, 2014 Re: Javascript math error discovered

Author: | Channel: www-math@w3.org Mail Archives

On 18/02/2014 23:32, Chuck Wilkins wrote:
> To whom this may concern,
>
> First, let me apologize if this has reached the wrong mailbox.

This is not the correct list for Javascript questions, however the
results that you show are to be expected in any numerical computation,
they are simply an artefact of the conversions between decimal base used
for display and the binary base used internally, together with the fact
that the computer is working to a fixed precision.

David


## UNDFebruary 20, 2014 RE: Math Working Group Charter

Author: | Channel: www-math@w3.org Mail Archives


Math Working Group,

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.

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/

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,



## UNDFebruary 19, 2014 RE: Math Working Group Charter

Author: | Channel: www-math@w3.org Mail Archives

Daniel Marques actually did a better job of explaining my position than I did. I will defer to that.

Paul

> -----Original Message-----
> From: Frédéric WANG [mailto:fred.wang@free.fr]
> Sent: Wednesday, February 19, 2014 9:03 AM
> To: www-math@w3.org
> Subject: Re: Math Working Group Charter
>
> @Paul: Well, I think I just didn't understand what you say :-) You
> started by mentioning improvements to Web fonts for math (but this just
> a format to allow fonts to be downloaded and used as system font, so I
> don't see why it should be different for math) ; then I understood you
> wanted to expose font features like math kerning to perform low-level
> math layout in Javascript (but apparently you now say you didn't mean to
> do low-level layout) ; and finally you now state a general and abstract
> statement from which I can hardly say anything. So I believe I agree
> with you about the Web Platform replacing the traditional OS (that's
> what for example FirefoxOS and others are doing) but if you meant
> reimplementing low-level browser layout (HTML, MathML or anything else)
> in Javascript then I disagree on that point.
>
> Le 19/02/2014 17:37, Paul Topping a écrit :
> > @Fred: I think you are taking what I said to the extreme and then
> countering it. All I am suggesting is that it is possible to view this activity from
> a different perspective. The more people see the Web Platform as a
> platform for delivering apps of all kinds, the more the Web Platform will
> become like a traditional OS. Of course, the details will be different as the
> technologies have changed. I am definitely not arguing for implementing
> low-level text layout in JS. However, it is usually a bad idea for any one group
> to define what facilities the OS needs. It has to fulfill the needs of a variety of
> imaginative parties and not narrow things down to some small set of
> preconceived app types.
> >
> > Paul
> >
> >> -----Original Message-----
> >> From: Frédéric WANG [mailto:fred.wang@free.fr]
> >> Sent: Tuesday, February 18, 2014 10:22 PM
> >> To: www-math@w3.org
> >> Subject: Re: Math Working Group Charter
> >>
> >> @Paul: I think the idea behind the Web platform is to extend the Web
> >> with higher-level functionalities using Javascript and other HTML5
> >> technologies (including MathML) not to reinvent the wheel by
> >> implementing all the low-level browser features (although I won't be
> >> surprised that some JS extremists want that). So since you moved the
> >> discussion to text rendering, note that it is one of the most complex
> >> part of browser layout and I don't believe anyone is crazy enough to try
> >> to reimplement it in Javascript by positioning individual glyphs with
> >> <span>'s etc. By extension, this is true for math rendering which can be
> >> seen as some complex text layout. Even if the lack of interest of some
> >> browser vendors has lead people to rely on polyfills to fill the gap
> >> here, this is not justified from a purely technical point of view.
> >>
> >> So concretely to come back to the case of science, I believe the idea
> >> behind the Web platform is to rely on native HTML5 features like
> MathML,
> >> SVG or WebGL in order to create higher level features to easily do
> >> TeX-to-MathML conversion, graph drawings, 3D schemas etc and not to
> do
> >> low level math layout, which is one thing MathML was designed for. IIUC,
> >> that's the aspect the MathJax project would like to progressively focus
> >> on once the native MathML issue is fixed. This is also the kind of
> >> higher level API that I'm sometimes missing for my EPUB samples.
> >>
> >> --
> >> Frédéric Wang
> >> MathML Crowdfunding: ulule.com/mathematics-ebooks
> >>
>
>
> --
> Frédéric Wang
> MathML Crowdfunding: ulule.com/mathematics-ebooks
>



## UNDFebruary 19, 2014 Re: Math Working Group Charter

Author: | Channel: www-math@w3.org Mail Archives

@Paul: Well, I think I just didn't understand what you say :-) You
started by mentioning improvements to Web fonts for math (but this just
a format to allow fonts to be downloaded and used as system font, so I
don't see why it should be different for math) ; then I understood you
wanted to expose font features like math kerning to perform low-level
math layout in Javascript (but apparently you now say you didn't mean to
do low-level layout) ; and finally you now state a general and abstract
statement from which I can hardly say anything. So I believe I agree
with you about the Web Platform replacing the traditional OS (that's
what for example FirefoxOS and others are doing) but if you meant
reimplementing low-level browser layout (HTML, MathML or anything else)
in Javascript then I disagree on that point.

Le 19/02/2014 17:37, Paul Topping a écrit :
> @Fred: I think you are taking what I said to the extreme and then countering it. All I am suggesting is that it is possible to view this activity from a different perspective. The more people see the Web Platform as a platform for delivering apps of all kinds, the more the Web Platform will become like a traditional OS. Of course, the details will be different as the technologies have changed. I am definitely not arguing for implementing low-level text layout in JS. However, it is usually a bad idea for any one group to define what facilities the OS needs. It has to fulfill the needs of a variety of imaginative parties and not narrow things down to some small set of preconceived app types.
>
> Paul
>
>> -----Original Message-----
>> From: Frédéric WANG [mailto:fred.wang@free.fr]
>> Sent: Tuesday, February 18, 2014 10:22 PM
>> To: www-math@w3.org
>> Subject: Re: Math Working Group Charter
>>
>> @Paul: I think the idea behind the Web platform is to extend the Web
>> with higher-level functionalities using Javascript and other HTML5
>> technologies (including MathML) not to reinvent the wheel by
>> implementing all the low-level browser features (although I won't be
>> surprised that some JS extremists want that). So since you moved the
>> discussion to text rendering, note that it is one of the most complex
>> part of browser layout and I don't believe anyone is crazy enough to try
>> to reimplement it in Javascript by positioning individual glyphs with
>> <span>'s etc. By extension, this is true for math rendering which can be
>> seen as some complex text layout. Even if the lack of interest of some
>> browser vendors has lead people to rely on polyfills to fill the gap
>> here, this is not justified from a purely technical point of view.
>>
>> So concretely to come back to the case of science, I believe the idea
>> behind the Web platform is to rely on native HTML5 features like MathML,
>> SVG or WebGL in order to create higher level features to easily do
>> TeX-to-MathML conversion, graph drawings, 3D schemas etc and not to do
>> low level math layout, which is one thing MathML was designed for. IIUC,
>> that's the aspect the MathJax project would like to progressively focus
>> on once the native MathML issue is fixed. This is also the kind of
>> higher level API that I'm sometimes missing for my EPUB samples.
>>
>> --
>> Frédéric Wang
>> MathML Crowdfunding: ulule.com/mathematics-ebooks
>>

--
Frédéric Wang
MathML Crowdfunding: ulule.com/mathematics-ebooks


## UNDFebruary 19, 2014 RE: Math Working Group Charter

Author: | Channel: www-math@w3.org Mail Archives

@Fred: I think you are taking what I said to the extreme and then countering it. All I am suggesting is that it is possible to view this activity from a different perspective. The more people see the Web Platform as a platform for delivering apps of all kinds, the more the Web Platform will become like a traditional OS. Of course, the details will be different as the technologies have changed. I am definitely not arguing for implementing low-level text layout in JS. However, it is usually a bad idea for any one group to define what facilities the OS needs. It has to fulfill the needs of a variety of imaginative parties and not narrow things down to some small set of preconceived app types.

Paul

> -----Original Message-----
> From: Frédéric WANG [mailto:fred.wang@free.fr]
> Sent: Tuesday, February 18, 2014 10:22 PM
> To: www-math@w3.org
> Subject: Re: Math Working Group Charter
>
> @Paul: I think the idea behind the Web platform is to extend the Web
> with higher-level functionalities using Javascript and other HTML5
> technologies (including MathML) not to reinvent the wheel by
> implementing all the low-level browser features (although I won't be
> surprised that some JS extremists want that). So since you moved the
> discussion to text rendering, note that it is one of the most complex
> part of browser layout and I don't believe anyone is crazy enough to try
> to reimplement it in Javascript by positioning individual glyphs with
> <span>'s etc. By extension, this is true for math rendering which can be
> seen as some complex text layout. Even if the lack of interest of some
> browser vendors has lead people to rely on polyfills to fill the gap
> here, this is not justified from a purely technical point of view.
>
> So concretely to come back to the case of science, I believe the idea
> behind the Web platform is to rely on native HTML5 features like MathML,
> SVG or WebGL in order to create higher level features to easily do
> TeX-to-MathML conversion, graph drawings, 3D schemas etc and not to do
> low level math layout, which is one thing MathML was designed for. IIUC,
> that's the aspect the MathJax project would like to progressively focus
> on once the native MathML issue is fixed. This is also the kind of
> higher level API that I'm sometimes missing for my EPUB samples.
>
> --
> Frédéric Wang
> MathML Crowdfunding: ulule.com/mathematics-ebooks
>



## UNDFebruary 19, 2014 Re: Math Working Group Charter

Author: | Channel: www-math@w3.org Mail Archives

Le 19/02/2014 15:52, Daniel Marques a écrit :
> For example, the attribute altimg
> (and the whole altXXX attribute family) of the top level [itex] tag could be
> easily supported by most browsers. By providing a good support of the
> WAI-ARIA standard, any implementation of MathML (native or as an add-on)
> will also benefit from it. It is our duty to push in this direction.
For the altXXX attributes, I have reported some bugs and submitted some
proposals at the beginning of the year:

(and https://codereview.chromium.org/138383003)
- IE:

I only got the automatic reply "Thank you for your feedback. We will be
investigating this issue further." from IE. For Chrome, the devs were
concerned about performance impact of adding CSS rules so I submitted a
restricted version that only implements the semantics fallback. I didn't
get any other reply so far.

If anyone wants to push for this feature, please comment on these bug
entries.

--
Frédéric Wang
MathML Crowdfunding: ulule.com/mathematics-ebooks