Abstract
OpenMath is a standard for representing mathematical objects. This report describes our experiences in implementing a facility for OpenMath-based symbolic computation services to be made available over the Internet. Services can be implemented in REDUCE, Mathematica or Maple, they are accessible via a Java client or using shell scripts. Our experimental client/server system is publicly available under an Open Source license. We address some issues in the development of OpenMath-based services such as implementing Phrasebooks and different choices of input syntax.
This work was developed partly under the CATHODE II Esprit Working Group 24490 [9].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Luis Alvarez-Sobreviela.REDUCE-MathML Interface. Konrad-~Zuse-Zentrum für Informationstechnik Berlin, Nov 1998. Part of the REDUCE 3.7 manual.
Olivier Arsac, Stéphane Dalmas, and Marc Gaëtano. The design of a customizable component to display and edit formulas. In Proc. of ISSAC ’99, pages 283–290. ACM Press, 1999.
Olaf Bachmann, Hans Schonemann, and Andreas Sorgatz. Connecting MuPAD and Singular with MP. mathPAD, 8(1):8–17, Mar 1998. ISSN 0941-9187.
Olaf Bachmann, Hans Schonemann, and Andreas Sorgatz. Connecting MuPAD and Singular with MP. Maple Tech, 5(2/3):117–121, Jul 1999.
Matthias Berth and Frank-Michael Moser. OMWS web site, 2000. http://paul.math-inf.uni-greifswald.de/Cathode2/omws/.
Manuel Bronstein. CATHODE II demonstration of the maple-aldor package for solving 2nd order homogeneous linear ordinary differential equations, 1999. Available online at: http://www-lmc.imag.fr/lmc-cf/Manuel.Bronstein/kovacic_demo.html.
S. Buswell, S. Devitt, A. Diaz, N. Poppelier, B. Smith, N. Soiffer, R. Sutor, and S. Watt. Mathematical markup language (MathML) 1.0 specification. Technical report, World-Wide-Web Consortium, 1998. Available online at: http://www.w3.org/TR/1998/REC-MathML-19980407.
Olga Caprotti and Arjeh M. Cohen. The OpenMath standard. Technical report, RIACA, Eindhoven, 1999. Available online at: http://www.nag.co.uk/projects/OpenMatha/ornstd/.
CATHODE II web site, 1996. http://www-lrnc.imag.fr/cathode2.
Marco Codutti. NODES: Non linear Ordinary Differential Equations Solver. In Proc. of ISSAC ’92. ACM Press, Jul 1992. Software available at: http://cso.ulb.ac.be/-nodes.
Richard Fateman. Network servers for symbolic mathematics. In Proc. of ISSAC ’97, pages 249–256. ACM Press, 1997.
Marc Gaëtano and Stéphane Dalmas. The INRIA OpcnMath library. Technical report, Projet Safir, INRIA Sopia Antipolis, 1998.
Marc Gaëtano and Claude Huchet. Second OpenMath-REDUCE version. Technical report, Konrad-Zuse-Zentrum fiir Informationstechnik Berlin, 1998.
Marc Gaëtano, Claude Huchet, and Winfried Neun. The realisation of an OpenMath server for REDUCE. Technical report, Konrad-Zuse-Zentrum für Informationstechnik Berlin, 1998.
N. Kajler. Building a computer algebra environment by composition of collaborative tools. In LNCS 721, Proc. of DISCO ’92, pages 85–94. Springer-Verlag, 1992.
N. Kajler. CAS/PI: A portable and extensible interface for computer algebra systems. In Proc. of ISSAC ’92, pages 376–386. ACM Press, 1992.
N. Kajler. Environnment Graphique Distribé pOur ie Calcul Formel. PhD thesis, Université de Nice Sophia-Antipolis, Mar 1993.
Ha Le and Chris Howlett. Client-server communication standards for mathematical computation. In Proc. of ISSAC ’99, pages 299–305. ACM Press, 1999.
Herbert Melenk and Winfried Neun. Portable Standard Lisp. Konrad-ZuseZentrum für Informationstechnik Berlin, Berlin, version 4.2 edition, 1997.
Winfried Neun. Notes on PSL REDUCE/OpenMath interface. Private Communication, 1998. Detailed information on how to install and operate the PSL REDUCE/OpenMath prototype system.
Y. N. Lakshman, Bruce Char, and Jeremy Johnson. Software components using symbolic computation for problem solving environments. In Proc. of ISSAC ’98, pages 46–53. ACM Press, 1998.
Arthur Norman. Codemist Standard Lisp (CSL): technical overview and details. Technical report, Codemist Ltd., Jul 1991. ai24._Arthur Norman. Compact delivery support for REDUCE. In LNCS 1128, Proc. of DISCO ’93, pages 331–330. Springer-Verlag, 1993.
Arthur Norman. Compact delivery support for REDUCE. Juurnal of Symbolic Computation, 19:133–143, 1995.
Arrigo Triulzi. OpenMath support under CSL-based REDUCE. Technical report, Queen Mary and Westfield College, Apr 2000.
Paul S. Wang. Design and protocol for internet accessible mathematical computation. In Proc. of ISSAC ’99, pages 291–306. ACM Press, 1999.
Thomas Wolf and Andreas Brand. The Computer Algebra package CRACK for investigating PDEs. Queen Mary and Westfield College, Nov 1998. Part of the REDUCE 3.7 manual and also: http://reduce.maths.qmw.ac.uk/packages/crack/.
Francis Wright. ODEsolve. Queen Mary and Westfield College, Nov 1998. Part of the REDUCE 3.7 manual, also online at: http://reduce.maths.qmw.ac.uk/packages/odesolvl/.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Berth, M., Moser, FM., Triulzi, A. (2000). Implementing Computational Services Based on OpenMath. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds) Computer Algebra in Scientific Computing. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-57201-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-57201-2_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41040-9
Online ISBN: 978-3-642-57201-2
eBook Packages: Springer Book Archive