Strategies for Parallel Markup

  title={Strategies for Parallel Markup},
  author={Bruce R. Miller},
  • B. Miller
  • Published 2 July 2015
  • Computer Science
  • ArXiv
Cross-referenced parallel markup for mathematics allows the combination of both presentation and content representations while associating the components of each. Interesting applications are enabled by such arrangements: interaction with parts of the presentation to manipulate and query the corresponding content; enhanced search indexing. Although the idea of such markup is hardly new, effective techniques for creating and manipulating it are more difficult than it appears. Since the… 

VMEXT: A Visualization Tool for Mathematical Expression Trees

VMEXT simultaneously visualizes the presentation elements and the semantic structure of mathematical expressions to enable users to quickly spot deficiencies in the Content MathML markup that does not affect the presentation of the expression.

Content MathML(CMML) conversion using LATEX Math Grammar (LMG)

A grammar-based algorithm is proposed that converts LATEX math expression into Content MathML (CMML) to produce semantic enrichment in web documents and the results show that the algorithm is capable of converting LATEx complex equations into CMML extensively as compared to the existing ones.

Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues

It is asserted that modelling the Q&A process computationally provides a route to domain understanding that is compatible with the day-to-day practices of mathematicians and students.

Intelligent Computer Mathematics

This work describes the landscape of financial infrastructure, and illustrates the Imandra formal verification system on a number of real-world examples, and sketches many open problems and future directions along the way.

Edinburgh Research Explorer Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues

It is asserted that modelling the Q&A process computationally provides a route to domain understanding that is compatible with the day-to-day practices of mathematicians and students.



Augmenting Presentation MathML for Search

This paper aims to have both the high accuracy introduced by semantics while still obtaining fine-grained highlighting, by augmenting the generated pMML with those semantics from which synonyms and other metadata can be reintroduced.

Using as a Semantic Markup Format

This work analyzes the current practice of semi-semantic markup in documents and extends it by a markup infrastructure that allows to embed semantic annotations into documents without changing their visual appearance, essentially turning into an MKM format.

Transforming Large Collections of Scientific Publications to XML

The first task of the arXMLiv project is to develop LaTeXML bindings for the (thousands of) LaTEX classes and packages used in the arχiv collection, as well as methods for coping with the eccentricities that TEX encourages.

An Architecture for Linguistic and Semantic Analysis on the arXMLiv Corpus

An architecture which solves and automates the issues of knowledge representation and knowledge management, providing an abstraction layer for distributed development of semantic analysis tools for the ARXMLIV corpus is implemented.

Technical Aspects of the Digital Library of Mathematical Functions

Practical initial solutions are proposed, in order to ease the authoring of adaptable content: a LaTeX class which encourages a modestly semantic markup style; and a mathematical search engine that adapts a text search engine to the task.

The Flexiformalist Manifesto

  • M. Kohlhase
  • Computer Science
    2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
  • 2012
The Flexiformalist Program aims to change this and calls for the re-development of a comprehensive part of mathematical knowledge and the mathematical documents that carries it into a flexiformal digital library of mathematics (FDLM), which will significantly empower mathematicians, scientists, and engineers in research, education, and application.