Design and implementation of MP, a protocol for efficient exchange of mathematical expressions

Journal of Symbolic Computation

Volumn 25, Issue 2, 1998, Pages 213-237

  Gray, Simon ^a   Kajler, Norbert ^a,b   Wang, Paul S ^a  

^a KENT STATE UNIVERSITY   (United States)

^b PSL RESEARCH UNIVERSITY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031994611     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1997.0173     Document Type: Article

References (46)

1. Abbott, J., van Leeuwen, A., Strotmann, A. (1995). Objectives of OpenMath. Available from http://www.can.nl/~abbott/OpenMath/.
2. Arnon, D. (1987). Report of the Workshop on Environments for Computational Mathematics. ACM SIGSAM Bulletin, 21(4), 42-48.
3. Arnon, D., Beach, R., McIsaac, K., Waldspurger, C. (1988). CaminoReal: An Interactive Mathematical Notebook. In van Vliet, J. C. (ed.), Proc. EP'88 Int. Conf. on Electronic Publishing, Document Manipulation, and Typography, Nice, France, pp. 1-18, Cambridge, Cambridge University Press. Also available as Technical Report EDL-89-1, Xerox PARC, 1989.
4. Avitzur, R., Bachmann, O., Kajler, N. (1995). From honest to intelligent plotting. In Levelt, A. H. M. (ed.), Proc. Int. Symp. on Symbolic and Algebraic Computation (ISSAC'95), Montreal, Canada, pp. 32-41, ACM Press. Also available as RIACA Technical Report 5, RIACA, Amsterdam.
5. Bachmann, O. (1994). MAXIZIC - A Maxima Interface to IZIC. RIACA Technical Report 4, RIACA, Amsterdam.
6. Birrell, A. D., Nelson, B. J. (1984). Implementing remote procedure calls. ACM Trans. Computer Systems, 2(1), 39-59.
7. Broughan, K. A., Keady, G., Robb, T. D., Richardson, M. G., Dewar, M. C. (1991). Some Symbolic Computing Links to the NAG Numeric Library. 25, pp. 28-37.
8. Cohen, A., Meertens, L. (1998). The ACELA Project: Aims and Plans. In Kajler, N. (ed.), Human Interaction in Symbolic Computing, Texts and Monographs in Symbolic Computation. Springer. To appear.
9. Consortium, U. (1990). The Unicode Standard, Worldwide Character Encoding, Version 1.0, vol. 1. Addison-Wesley.
10. Consortium, U. (1992). The Unicode Standard, Worldwide Character Encoding, Version 1.0, vol. 2. Addison-Wesley.
11. Cooperman, G. (1995). STAR/MPI: binding a parallel library to interactive symbolic algebra systems. In Levelt, A. H. M. (ed.), Proc. Int. Symp. on Symbolic and Algebraic Computation (ISSAC'95), Montreal, Canada, pp. 126-132. ACM Press.
12. Dalmas, S., Gaëtano, M., Sausse, A. (1994). Distributed computer algebra: the central control approach. In Hong, H. (ed.), Proc. 1st Int. Symp. on Parallel Symbolic Computation (PASCO'94) Hagenberg/Linz, Austria, LNSC 5, World Scientific, Singapore.
13. Davenport, J., Dewar, M. C., Richardson, M. (1991). Symbolic and numeric computation: The IRENA project. In Proc. Workshop on Symbolic and Numeric Computing, Research Reports 16, pp. 1-18. Computing Centre, University of Helsinki, Finland
14. Dewar, M. (1991). Interfacing Algebraic and Numeric Computation. PhD thesis, University of Bath, U.K. Available as Bath Mathematics and Computer Science Technical Report 92-54.
15. Dewar, M. C. (1989). IRENA - An Integrated Symbolic and Numerical Computation Environment. In Gonnet, G. H. (ed.), Proc. ACM-SIGSAM Int. Symp. on Symbolic and Algebraic Computation (ISSAC'89), Portland, Oregon, pp. 171-179, ACM Press.
16. Dewar, M. C. (1994). Manipulating Fortran code in AXIOM and the AXIOM-NAG link. In Apiola, H., Laine, M., Valkeila, E. (eds.), Proc. Workshop on Symbolic and Numeric Computing, pp. 1-12. University of Helsinki, Finland. Available as Technical Report B10, Rolf Nevanlinna Institute.
17. Diaz, A., Kaltofen, E., Schmitz, K., Valente, T., Hitz, M., Lobo, A., Smyth, P. (1991). DSC: A system for distributed symbolic computation. In Watt, S. M. (ed.), Proc. Int. Symp. on Symbolic and Algebraic Computation (ISSAC'91), Bonn, Germany, pp. 323-332, ACM Press.
18. Doleh, Y. (1995). SUI: A system independent user interface for an integrated scientific computing environment. PhD thesis, Kent State University.
19. Doleh, Y., Wang, P. S. (1990). SUI: A system independent user interface for an integrated scientific computing environment. In Watanabe, S., Nagata, M. (eds.), Proc. Int. Symp.on Symbolic and Algebraic Computation (ISSAC'90), Tokyo, Japan, pp. 88-94, Addison-Wesley.
20. Fournier, R., Kajler, N., Mourrain, B. (1995). Visualization of mathematical surfaces: the IZIC server approach. J. Symbolic Computation, 19 (1/2/3), 159-173.
21. Geist, A., Beguelin, A., Dongarra, J., Jiang, W., Manchek, R., Sunderam, V. (1994). PVM3 User's Guide and Reference Manual. Technical Report ORNL/TM-12187, Oak Ridge National Laboratory.
22. Gonzalez-Vega, L. and Recio, T., (eds) (1994). The PoSSo NEWSLETTER. Available electronically from posso.dm.unipi.it.
23. Granlund, T. (1996). GNU MP: The GNU Multiple Precision Arithmetic Library, Edition 2.0. Technical Report, The Free Software Foundation.
24. Gray, S., Kajler, N., Wang, P. S. (1994a). MP: A protocol for efficient exchange of mathematical expressions. In Giesbrecht, M. (ed.), Proc. Int. Symp. on Symbolic and Algebraic Computation (ISSAC'94), Oxford, U.K., pp. 330-335, ACM Press.
25. Gray, S., Kajler, N., Wang, P. S. (1994b). Specification of Expression Encoding in the Multi Protocol, Version 0.5. Tech. Rep. ICM-9404-64, Institute for Computational Mathematics, Kent State University.
26. Gropp, W., Lusk, R., Skjellum, A. (1994). Using MPI, Cambridge, MA, MIT Press.
27. Institute of Electrical and Electronics Engineers (1985). IEEE Standard for Binary Floating-Point Arithmetic. ANSI/IEEE Standard 754-1985.
28. I.S.O. (1986). Information Processing - Text and Office Systems - Standard Generalized Markup Language (SGML). ISO 8879.
29. I.S.O. (1987). Information Processing - 8-bit Single-Byte Coded Graphic Character Sets - Part 1: Latin Alphabet No. 1. ISO 8859-1.
30. I.S.O. (1993). Information Technology - Universal Multiple - Octet Coded Character Set (UCS)-Part 1: Architecture and Multilingual Plane. ISO/IEC 10646-1.
31. Jacobs, I., Montagnac, F., Bertot, J., Clément, D., Prunet, V. (1993). The Sophtalk Reference Manual. Rapport Technique 150, INRIA.
32. Johnson, S., Graham, R. L. (1974). SIGSAM Problem #7. ACM SIGSAM Bulletin 8, 4.
33. Kajler, N. (1992a). Building a Computer Algebra Environment by Composition of Collaborative Tools. In Fitch, J. P. (ed.), Proc. DISCO'92, Bath, U.K., LNCS 721, pp. 85-94, Springer.
34. Kajler, N. (1992b). CAS/PI: a portable and extensible interface for computer algebra systems. In Wang, P. S. (ed.), Proc. Int. Symp. on Symbolic and Algebraic Computation (ISSAC'92), Berkeley, CA, pp. 376-386, ACM Press.
35. Leong, B. (1986). Iris: Design of an user interface program for symbolic algebra. In Char, B. W. (ed.), Proc. 1986 Symp. on Symbolic and Algebraic Computation (SYMSAC'86), Waterloo, Canada, pp. 1-6. ACM Press.
36. Li, L., Wang, P. (1996). The CL-PVM Package. ACM SIGSAM Bulletin, 29(3/4), 2-8.
37. NAG Ltd (1991). The NAG Fortran Library Manual - Mark 15.
38. Pintur, D. A. (1994). MathEdge: The Application Development Toolkit for Maple. MapleTech, 1(2), 31-38.
39. Purtilo, J. M. (1986). A Software Interconnection Technology to Support Specification of Computational Environments. PhD thesis, Dept. of Computer Science, University of Illinois at Urbana-Champaign, IL.
40. Quint, V., Vatton, I., Paoli, J. (1998). Active structured documents as user interfaces. In Kajler, N. (ed.), Human Interaction in Symbolic Computing, Texts and Monographs in Symbolic Computation. Springer. To appear.
41. Robb, T. (1992). InterCall. Perth, Analytica.
42. Schefström, D. (1989). Building a highly integrated development environment using preexisting parts. In IFIP 11th World Computer Congress, San Francisco, CA.
43. Sun Microsystems, Inc. (1990). Network Programming Guide (revision A). Part number 800-3850-10 Mountain View, CA.
44. SunSoft, Inc. (1991). The ToolTalk Service. Technical Report, Sun Microsystems.
45. von Sydow, B. (1992). The design of the Euromath system. Euromath Bulletin, 1(1), 39-48.
46. Wolfram Research, Inc. (1993). MathLink Reference Guide (version 2.2). Mathematica Technical Report.