A small OpenMath type system
JH Davenport - ACM SIGSAM Bulletin, 2000 - dl.acm.org
ACM SIGSAM Bulletin, 2000•dl.acm.org
A Small OpenMath Type System Page 1 A Small OpenMath Type System James H. Davenport
Dept. Mathematical Sciences University of Bath Bath BA2 7AY England jhd@maths, bath. ac.
uk* Abstract This paper describes the "light-weight" Small Type System of OpenMath. It is based
on various discussion with the OpenMath Consortium, and notably with the NAG team. Section
7 lists the open issues for debate. 1 Why a "Small Type System"? Nothing in this document
should be inferred as meaning that a Small Type System is "better" than ECC 1 theoretically …
Dept. Mathematical Sciences University of Bath Bath BA2 7AY England jhd@maths, bath. ac.
uk* Abstract This paper describes the "light-weight" Small Type System of OpenMath. It is based
on various discussion with the OpenMath Consortium, and notably with the NAG team. Section
7 lists the open issues for debate. 1 Why a "Small Type System"? Nothing in this document
should be inferred as meaning that a Small Type System is "better" than ECC 1 theoretically …
This paper describes the "light-weight" Small Type System of OpenMath. It is based on various discussion with the OpenMath Consortium, and notably with the NAG team. Section 7 lists the open issues for debate.
ACM Digital Library