Abstract
This paper presents two standards for communicating mathematical objects between computer programs, for representing these objects on multimedia (i.e., the web) and our experimentation with those standards to develop input/output compliant processors that can be used as basic components to build an effective World Wide Web computational server.
Access this article
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Extensible Markup Language (XML) 1.0, W3C Recommendation 10-Feb-98, Bray, T., Paoli, J., and Sperberg-McQueen, C.M., Eds., 1998, http:// www.w3c.org/XML.
Boumphrey, F., Direnzo, O., Duckett, J., Graf, J., Houle, P., Hollander, D., Jenkins, T., Jones, P., Kingsley-Hughes, A., Kingsley-Hughes, K., McQueen, C., and Mohr, S.,XMP Applications, Wrox, 1998.
Walsh, N., A Technical Introduction to XML, 1998, http://www.xml.com/xml/pub/98/10/guide0.html.
OpenMath Home Page, http://www.openmath.org.
The OpenMath Esprit Project Home Page, http:// www.nag.co.uk/projects/OpenMath/.
PolyMath Development Group Home Page, http://pdg.cecm.sfu.ca/.
Abbott, J., van Leeuwen, A., and Strotmann, A., Objectives of OpenMath,Technical Report 12, RI-ACA, 1996.
Gonnet, G., A Specification of OpenMath Version 1 (Preliminary), personal communication, 1997.
The OpenMath Standard, Caprotti, O. and Cohen, A.M., Eds., 1998, http://www.nag.co.uk/projects/Open-Math/omstd/
Caprotti, O. and Cohen, A.M., A Type System for Open-Math, 1998, http://www.nag.co.uk/projects/Open-Math/omstd/
Howgrave-Graham, N., OpenMath Alignment with mathML, 1998, http://www.nag.co.uk/projects/Open-Math/omstd/
Buswell, S., Mathematical Markup Language (MathML) and the ESPRIT OpenMath Project,The First Industry OpenMath Convention, St Andrews, Scotland, 1998.
Dalmas, S., OpenMath and Mathematical Software,The First Industry OpenMath Convention, St Andrews, Scotland, 1998.
Hindley, J.R. and Seldin, J.P.,Introduction to Combinators and λ-Calculus, Cambridge Univ. Press, 1986.
Luo, Z., An Extended Calculus of Constructions,Doctoral Dissertation, Univ. of Edinburgh: Holland, 1990.
Bringing Academia and Industry Together, http://naomi.math.ca/orgs.html.
OpenMath Contents Dictionaries (PDF version), http://www.nag.co.uk/projects/OpenMath/omstd/.
Buswell, S., Devitt, S., Diaz, A., Poppelier, N., Smith, B., Soiffer, N., Suter, R., and Watt, S., Mathematical Markup Language (MathML) 1.0 Specification, http://www.w3.org/TR/1998/REC-MathML-19980407, 1998.
Miner, R. and Schaefer, J., Gentle Introduction to MathML 1.0, http://www.webeq.com/mathml/gitmml/, 1998.
WebEQ Home Page, http://www.webeq.com/.
Bringing Academia and Industry Together, http://www.webeq.com/mathml/resources.html.
Dooley, S., Coordinating Mathematical Content and Presentation Markup in Interactive Mathematical Documents,Proc. ISSAC’98, 1998, pp. 54–61.
Le, H. and Howlett, C., Client-Server Communication Standards for Mathematical Computation,Proc. ISSAC’99, 1999 (in press).
ISO 7-bit Coded Character Set for Information Interchange. ISO 646:1983, 1983.
Char, B.W., Geddes, K.O., Gonnet, G.H., Leong, B.L., Monagan, M.B., and Watt, S.M.,Maple V Language Reference Manual, Springer, 1991.
Carroll, L.,Through the Looking Glass and What Alice Found There, Macmillan & Co., 1871.
Carey, R., Bell, G., and Marrin, C., ISO/IEC 14772-1:1997 Virtual Reality Modeling Language (VRML97), http://www.vrml.org/Specifications/VRML97.
Author information
Authors and Affiliations
Corresponding author
Additional information
This article was submitted by the author in English.
Rights and permissions
About this article
Cite this article
Le, H. Communication-oriented representation of mathematical objects. Program Comput Soft 26, 7–16 (2000). https://doi.org/10.1007/BF02759171
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02759171