Supporting Files for CICM 2015 paper/presentations

The following files are to support Ross Moore's contribution, entitled

Semantic Enrichment of Mathematics via `tooltips',
published in the Springer Lecture Notes in Computer Science series, Volume 9150, as CICM-2015.

The Springer PDFs do not do full justice to the features described in the paper, which is intended to be also a demonstration document for the methods described. They do not

The following `Preprint' versions, which do have these features, are available here for testing. Also here is a 6-page version which includes an extra example, closer to real-world usage. Due to a page limitation, this could not be included within the published version.

Preprints: (5 pages), (6 pages)

Here is a link to v.1.3.1 of the package mathsem.sty. It supports creation of tooltips in inline math, using \(…\) and for displayed math using \(…\), and the evironments: equation, equation*, eqnarray and eqnarray*.
AMS-math alignment environments are not yet supported.

Here are the examples from that paper (and preliminary versions)
as a LaTeX document: mathsem-examples.tex,
and the resulting PDF mathsem-examples.pdf.

Further work is under way to fully support the AMS-math alignment environments.

The package really works best with pdf-LaTeX.
With dvips+GS, a patch is used to avoid extra boxing within the way \pdfmark is normally used. This avoids math-symbols losing their math-class and sizing, which would otherwise occur. This aspect has received only limited testing.




Supporting Files for CICM 2014 presentations

The following files are to support Ross Moore's contribution, entitled

PDF/A-3u as an archival format for Accessible mathematics

to the CICM 2014 Meeting, Coimbra, Portugal 7–11 July, 2014.

Here are various versions of the full paper:

Following are the textual content of the example document, as exported using Save As … > Other > … into various formats, using Acrobat Pro software, or by other means:

Find the error…

Now here is another version of the same example PDF, but which contains a subtle error:

Anyone who discovers just what is the error is encouraged to write to the author (who knows what it is) emailing the details of the PDF browser software or validator used, and what actions needed to be taken to detect the error. Was normal viewing, or other tasks, affected in any way?