On writing OpenMath content dictionaries

@article{Davenport2000OnWO,
  title={On writing OpenMath content dictionaries},
  author={James H. Davenport},
  journal={ACM SIGSAM Bulletin},
  year={2000},
  volume={34},
  pages={12-15}
}
This paper is based on various discussion with the OpenMath Consortium, and recently at the University of Western Ontario. All errors are the author's. Many helpful suggestions have been made, particularly by Dr. Dewar and Dr. Naylor.This paper outlines some of the issues that affect authors of OpenMath Content Dictionaries, and their associated Small Type System [4] files. 

From This Paper

Figures, tables, and topics from this paper.

Similar Papers

Loading similar papers…