article

Free access

A small OpenMath type system

Author:

James H. DavenportAuthors Info & Claims

ACM SIGSAM Bulletin, Volume 34, Issue 2

Pages 16 - 21

https://doi.org/10.1145/362001.362014

Published: 01 June 2000 Publication History

PDF eReader

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.

Cited By

View all

Manukyan M(2022)On an Extensible Conceptual Data Model by a Non-formal ExampleNew Trends in Database and Information Systems10.1007/978-3-031-15743-1_1(3-13)Online publication date: 29-Aug-2022
https://doi.org/10.1007/978-3-031-15743-1_1
Kohlhase MMance FRabe F(2013)A universal machine for biform theory graphsProceedings of the 2013 international conference on Intelligent Computer Mathematics10.1007/978-3-642-39320-4_6(82-97)Online publication date: 8-Jul-2013
https://dl.acm.org/doi/10.1007/978-3-642-39320-4_6
Kohlhase MRabe F(2012)Semantics of OpenMath and MathML3Mathematics in Computer Science10.1007/s11786-012-0113-x6:3(235-260)Online publication date: 24-May-2012
https://doi.org/10.1007/s11786-012-0113-x
Show More Cited By

Index Terms

A small OpenMath type system

Recommendations

A reduce-based OpenMath ↔ MathML translator
Special issue of OpenMath

The increase in importance of OpenMath and MathML as mathematical representations revealed the need for an interface relating them both transparently. An interface should offer the possibility of translating expressions from one standard to the other ...
Mathematica as an OpenMath application
Special issue of OpenMath

Several computer algebra teams around the world have been working on OpenMath since 1994, but in spite of more than six years of work (including a dedicated three years European project), there are not yet any widely available OpenMath applications. ...
Practical type inference for the gadt type system

Comments

Information & Contributors

Information

Published In

ACM SIGSAM Bulletin Volume 34, Issue 2

Special issue of OpenMath

June, 2000

71 pages

ISSN:0163-5824

DOI:10.1145/362001

Editors:
Mark Giesbrecht
Univ. of Western Ontario, London, Ont., Canada
,
Mike Dewar
The Numerical Algorithms Group, Oxford, U. K.

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 2000

Published in SIGSAM Volume 34, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
188
Total Downloads

Downloads (Last 12 months)18
Downloads (Last 6 weeks)5

Reflects downloads up to 03 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Manukyan M(2022)On an Extensible Conceptual Data Model by a Non-formal ExampleNew Trends in Database and Information Systems10.1007/978-3-031-15743-1_1(3-13)Online publication date: 29-Aug-2022
https://doi.org/10.1007/978-3-031-15743-1_1
Kohlhase MMance FRabe F(2013)A universal machine for biform theory graphsProceedings of the 2013 international conference on Intelligent Computer Mathematics10.1007/978-3-642-39320-4_6(82-97)Online publication date: 8-Jul-2013
https://dl.acm.org/doi/10.1007/978-3-642-39320-4_6
Kohlhase MRabe F(2012)Semantics of OpenMath and MathML3Mathematics in Computer Science10.1007/s11786-012-0113-x6:3(235-260)Online publication date: 24-May-2012
https://doi.org/10.1007/s11786-012-0113-x
Yang KPetry FCollins J(2010)Building content dictionaries for geometric algebra in OpenMath formatJournal of Computing Sciences in Colleges10.5555/1734797.173480225:4(22-29)Online publication date: 1-Apr-2010
https://dl.acm.org/doi/10.5555/1734797.1734802
Yang KZhang WPetry FMcGregor J(2009)Building content dictionaries for geometric algebra in OMDoc formatProceedings of the 47th annual ACM Southeast Conference10.1145/1566445.1566507(1-5)Online publication date: 19-Mar-2009
https://dl.acm.org/doi/10.1145/1566445.1566507
Davenport JKohlhase M(2009)Unifying Math OntologiesProceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics10.1007/978-3-642-02614-0_23(263-278)Online publication date: 3-Jul-2009
https://dl.acm.org/doi/10.1007/978-3-642-02614-0_23
Stratford JDavenport J(2008)Unit Knowledge ManagementProceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics10.1007/978-3-540-85110-3_33(382-397)Online publication date: 28-Jul-2008
https://dl.acm.org/doi/10.1007/978-3-540-85110-3_33
Boute R(2005)Functional declarative language design and predicate calculusACM Transactions on Programming Languages and Systems10.1145/1086642.108664727:5(988-1047)Online publication date: 1-Sep-2005
https://dl.acm.org/doi/10.1145/1086642.1086647
Naylor WPadget J(2005)Semantic matching for mathematical servicesProceedings of the 4th international conference on Mathematical Knowledge Management10.1007/11618027_12(174-189)Online publication date: 15-Jul-2005
https://dl.acm.org/doi/10.1007/11618027_12
Hunton JMcEwen RWier B(2002)The Reaction of Financial Analysts to Enterprise Resource Planning (ERP) Implementation Plans (Retracted)Journal of Information Systems10.2308/jis.2002.16.1.3116:1(31-40)Online publication date: 1-Mar-2002
https://doi.org/10.2308/jis.2002.16.1.31

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

A reduce-based OpenMath ↔ MathML translator

Mathematica as an OpenMath application

Practical type inference for the gadt type system

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations