Skip to main content
SpringerLink
Log in

The Internet accessible mathematical computation framework

  • Published:
Science in China Series F: Information Sciences Aims and scope Submit manuscript

Abstract

The Internet Accessible Mathematical Computation (IAMC) framework aims to make it easy to supply mathematical computing powers over the Internet/Web. The protocol-based IAMC framework enables developers to create interoperable clients and servers easily and independently. Presented are conceptual and experimental work on the IAMC framework architecture and major components: the Mathematical Computation Protocol (MCP), a client prototype (Dragonfly), a server prototype (Starfish), a mathematical encoding converter (XMEC), and an open mathematical compute engine interface (OMEI).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. ICM, SymbolicNet live demos (accessible from http://www.symbolicnet.org/systems/demos.html), 2000.

  2. Ausbrooks, R., Buswell, S., Dalmas, S. et al., Mathematical Markup Language (MathML) v.2.0. Available from: http://www.w3.org/TR, 2000.

  3. Dooley, S., Coordinating mathematical content and presentation markup in interactive mathematical documents, ISSAC’98 (ed. Gloor, O.), New York: ACM Press, 1998, 54–61

    Google Scholar 

  4. Design Science, Inc. Math Type and WebEQ (software available from http://www.mathtype.com), 2000.

  5. Vatton, I., Quint, V., Editing MathML on the Web with Amaya online proceedings of MathML International Conference 2000, October 20–21, 2000, Urbana-champaign, IL, http://www.mathmlconference.org/2000/Talks/quint/, 2000.

  6. MathML International Conference. Procs. available from http://www.mathmlconference.org, 2000.

  7. Solomon, A., Struble, C. A., JavaMath—an API for internet accessible mathematical services, In the proceedings of the Asian Symposium on Computer Mathematics, World Scientific, 2001, 151–160.

  8. Linton, S., Solomon, A., GAP, OpenMath, and MCP, in the online Proc. of IAMC Workshop, http://icm.mcs.kent. edu/research/iamc99proceedings.html, 1999.

  9. Weber, A., Küchlin, W., A framework for Internet accessible software components for scientific computing, in the online proceedings of IAMC Workshop, http://icm.mcs.kent.edu/research/iamc99proceedings.html, 1999.

  10. IAMC homepage : http://icm.mcs.kent.edu/research/iamc, 1999–2001.

  11. IAMC’99 Workshop, Procs. available from http://icm.mcs.kent.edu/research/iamc99proceedings.html, 1999.

  12. IAMC’01 workshop. Procs. available from http://icm.mcs.kent.edu/research/iamc01proceedings.html, 2001.

  13. Future of Mathematical Communication Workshop, Procs. available from http://msri.org/calendar/workshops/9900/Future_of_Math_Communications, 1999.

  14. Gray, S., Kajler, N., Wang, P., MP: A Protocol for Efficient Exchange of Mathematical Expressions ISSAC’94 (ed. Giesbrecht, M.), New York: ACM Press, 1994, 330–335.

    Google Scholar 

  15. Gray, S., Kajler, N., Wang, P., Design and implementation of MP, a protocol for efficient exchange of mathematical expressions, J. of Symbolic Computation, 1998, 25(2): 213–238.

    Article  Google Scholar 

  16. Gray, S., Tong, L., Wang, P., The MP encoding for distributed mathematical computations: An object-oriented design and implementation, Intl. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA’99) (ed. Arabnia, H. R.), Las Vegas: CSREA Press, 1999, 2084–2090.

    Google Scholar 

  17. Wu, W., Experiments with Internet Accessible Mathematical Computation. Master’s Thesis, Dept. of Math. and Computer Science, Kent State Univ., ICM Technical Report 199805-0003 (available from http://icm.mcs.kent.edu/reports), 1998.

  18. Wang, P., Design and protocol for Internet accessible mathematical computation, ISSAC’99 (ed. Dooley, S.), New York: ACM Press, 1999, 291–298.

    Google Scholar 

  19. Abbott, J., Diaz, A., Sutor, R. S., Report on OpenMath ACM SIGSAM Bulletin, 1996, 1: 21–24.

    Article  Google Scholar 

  20. UDDI (Universal Description, Discovery and Integration), http://www.uddi.org 2000.

  21. SOAP (Simple Object Access Protocol), http://www.w3.org/TR/soap 2000.

  22. WSDL (Web Services Description Language), http://www.w3.org/TR/wsdl, 2001.

  23. Wang, P., Internet Accessible Mathematical Computation, Proceedings of the 3rd Asian Symp. on Computer Mathematics (ASCM’98), Lanzhou University Press, 1998, 1–13

  24. Liao, W., Wang, P., Dragonfly: A Java-based IAMC client prototype, Proceedings of the 4th Asian Symp. on Computer Mathematics (ASCM’2000), Lecture Notes Series on Computing Vol. 8, World Scientific, 1998, 281–290.

  25. Liao, W., Wang, P., Building IAMC: A layered approach, Intl. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA’00), Las Vegas: CSREA Press, 2000, 1509–1516.

    Google Scholar 

  26. Tong, L., Object Oriented Design and Implementation of MP, Master’s Thesis, Dept. of Math. and Computer Science, Kent State Univ., 2000.

  27. Avitzur, R., Bachmann, O., Kajler, N., From honest to intelligent plotting, ISSAC’95 (ed. Levelt, A. H. M.), New York: ACM Press, 1995, 32–41.

    Google Scholar 

  28. Zou, X., XMEC: An extensible mathematical encoding converter, Demo at IAMC’2001 Workshop and ICM Technical Report 200108-0005, Kent State Univ. (available from http://icm.mcs.kent.edu/reports/), 2001.

  29. IAMC framework site: http://icm.mcs.kent.edu/research/iamcproject.html, 1998–2001.

  30. Liao, W., Lin, D., Wang, P., OMEI: An open mathematical engine interface, 5th Asian Symp. on Computer Mathematics (ASCM’2001), Singapore: World Scientific Press (Lecture Notes Series on Computing, 9), 2001, 82–91.

    Google Scholar 

  31. Fateman, R., Symbolic mathematics system evaluators, ISSAC’96 (ed. Lakshman, Y. N.), New York: ACM Press, 1996, 86–94.

    Google Scholar 

  32. Wu, Y., Liao, W., Lin, D., et al., Local and remote user interface for ELIMINO through OMEI, Mathematical Software (ICMS’2002), Proc. Int. Congress of Math. Software, Singapore: World Scientific Press, 2002, 411–420.

    Chapter  Google Scholar 

  33. Purtilo, J. M., A Software Interconnection Technology to Support Specification of Computational Environments, PhD. Thesis, Dpt. of Computer Science, Univ. of Illinois at Urbana-Champaign, 1986.

  34. Arnon, D., Beach, R., McIsaac, K. et al., CaminoReal: An interactive mathematical notebook, Intl. Conf. on Electronic Publishing, Document Manipulation, and Typography (EP’88) (ed. van Vliet, J. C.), Cambridge: Cambridge Univ. Press 1988, 1–18.

    Google Scholar 

  35. Diaz, A., Kaltofen, E., Schmitz, K. et al., DSC: A system for distributed symbolic computation, ISSAC’91 (ed. Watt, S.), New York: ACM Press, 1991, 323–332.

    Google Scholar 

  36. Kajler, N., CAS/PI: a portable and extensible interface for computer algebra systems, ISAAC’92 (ed. Wang, P.), New York: ACM Press, 1992, 376–386.

    Google Scholar 

  37. Dalmas, S., Gaëtano, M., Sausse, A., Distributed computer algebra: The central control approach, 1st Intl. Symp. on Parallel Symbolic Computation (PASCO’94), (ed. Hong, H.), Singapore: World Scientific (Lecture Notes Series in Computing, 5), 1994, 104–113.

    Google Scholar 

  38. Doleh, Y., The Design and Implementation of a System Independent User Interface for an Integrated Scientific Computing Environment. PhD. Thesis, Dept. of Math. and Computer Science, Kent State Univ., 1995.

  39. Dongarra, J. et al., NetSolve, (software available from http://icl.cs.utk.edu/netsolve), 2000.

Download references

Author information

Authors and Affiliations

  1. ICM, Kent State Univ., 44242, Kent, Ohio, USA

    Paul S. Wang, Weidong Liao & Xiao Zou

  2. Ashland Univ., Ashland, Ohio, USA

    Simon Gray

  3. Ecole des Mines de Paris, 60 bd. St-Michel, 75006, Paris, France

    Norbert Kajler

  4. State Key Laboratory of Information Security, Institute of Software, Chinese Academy of Sciences, 100080, Beijing, China

    Dongdai Lin

Authors
  1. Paul S. Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Simon Gray
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Norbert Kajler
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Dongdai Lin
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Weidong Liao
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Xiao Zou
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Dongdai Lin.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wang, P.S., Gray, S., Kajler, N. et al. The Internet accessible mathematical computation framework. Sci China Ser F 47, 75–88 (2004). https://doi.org/10.1360/02yf0174

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1360/02yf0174

Keywords

Search

Navigation