Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

Padovani03B (Article)
Author(s) Luca Padovani
Title« MathML Formatting with TeX Rules, TeX Fonts, and TeX Quality »
JournalThe Communications of the T
Volume24
Number1
Page(s)53-61
Year2003
ISSN number0896-3207
URLhttp://www.di.unito.it/~padovani/Papers/tugboat_24_1.pdf
Abstract
In this paper we investigate the architecture of a MathML formatting engine based on an abstraction of the TEX box primitives. This engine is carefully designed so that the TEX-dependent formatting rules are isolated from the independent ones and is capable of achieving TEX-comparable output quality when used in conjunction with TEX fonts. We show how the formatting rules presented in Appendix G of the TEXbook can be easily adapted for MathML formatting, and how the semantically-rich MathML markup simplifies the rules themselves.

BibTeX code

@article{Padovani03B,
  number = {1},
  volume = {24},
  issn = {0896-3207},
  author = {Luca Padovani},
  url = {http://www.di.unito.it/~padovani/Papers/tugboat_24_1.pdf},
  abstract = { In this paper we investigate the architecture of a MathML
              formatting engine based on an abstraction of the {\TeX} box
              primitives. This engine is carefully designed so that the
              {\TeX}-dependent formatting rules are isolated from the
              independent ones and is capable of achieving {\TeX}-comparable
              output quality when used in conjunction with {\TeX} fonts. We show
              how the formatting rules presented in Appendix~G of the {\TeX}book
              can be easily adapted for MathML formatting, and how the
              semantically-rich MathML markup simplifies the rules themselves.
              },
  title = {{MathML Formatting with TeX Rules, TeX Fonts, and TeX Quality}},
  year = {2003},
  pages = {53-61},
  journal = {The Communications of the T},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!