On writing OpenMath content dictionaries
James H. Davenport · ACM SIGSAM Bulletin · 2000
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.