MP: A protocol for efficient exchange of mathematical expressions

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn Part F129423, Issue , 1994, Pages 330-335

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

^a KENT STATE UNIVERSITY   (United States)

^b SANDIA NATIONAL LABORATORIES   (United States)

^c RIACA ^*  (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ENCODING (SYMBOLS); FORESTRY; PROBLEM SOLVING;

DISTRIBUTED PROBLEM-SOLVING ENVIRONMENTS; DOCUMENT-PROCESSING; GENERIC OPTIMIZATION; MATHEMATICAL EXPRESSIONS; MULTIPROTOCOLS; NUMERIC COMPUTATION; SCIENTIFIC COMPUTATION; TOOL INTEGRATION;

TREES (MATHEMATICS);

EID: 84949495750     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/190347.190435     Document Type: Conference Paper

References (13)

1. D. Arnon, R. Beach, K. Mclsaac, and C. Waldspurger. CAMINOREAL: An Interactive Mathematical Notebook. In EP'88 Int'l Cont, on Electronic Publishing, Document Manipulation, and Typography, pages 1-18, Nice, France, April 1988. Cambridge University Press.
2. A. Diaz, E. Kaltofen, K. Schmitz, T. Valente, M. Hitz, A. Lobo, P. Smyth. DSC: A System for Distributed Symbolic Computation. In Proc. of ISSAC'91, pages 323-332, Bonn, Germany, July 1991. ACM Press.
3. Y. Doleh and P. S. Wang. SUI: A System Independent User Interface for an Integrated Scientific Computing Environment. In ACM Proc. of ISSAC'90, pages 8894, Tokyo, Japan, August 1990. Addison-Wesley.
4. S. Gray, N. Kajler and P. S. Wang. Specification of Expression Encoding in the Multi Protocol. ICM Technical Report (ICM-9404-64), Institute for Computational Math, Kent State University, 1994.
5. Institute of Electrical and Electronics Engineers. IEEE Standard for Binary Floating-Point Arithmetic. ANSI/IEEE Standard 754-1985, August 1985.
6. N. Kajler. Building a Computer Algebra Environment by Composition of Collaborative Tools. In J. P. Fitch, editor, Proc. of DISCO'92, volume 721 of LNCS, pages 85-94, Bath, GB, April 1992. Springer-Verlag.
7. N. Kajler. CAS/PI: A Portable and Extensible Interface for Computer Algebra Systems. In Proc. of ISSAC'92, pages 376-386, Berkeley, USA, July 1992. ACM Press.
8. B. L. Leong. Iris: Design of a User Interface Program for Symbolic Algebra. In Proc. of the 1986 ACM- SIGSAM Symp. on Symbolic and Algebraic Computation, pages 1-6, July 1986.
9. J. M. Purtilo. A Software Interconnection Technology to Support Specification of Computational Environments. PhD thesis, Dpt. of Computer Science, University of Illinois at Urbana-Champaign, September 1986.
10. D. Schefstrom. Building a Highly Integrated Development Environment Using Preexisting Parts. In IFIP 11th World Computer Congress, San Francisco, August 1989.
11. B. von Sydow. The design of the Euromath system. Euromath Bulletin, vol. 1(1), pages 39-48, 1992.
12. T. Robb. Inter Call. Analytica, PO Box 343, Subiaco 6008, Perth WA, Australia, 1992.
13. Wolfram Research, Inc. MathLink External Communication in Mathematica, 1990.