Mathematics Protocols

Selected Bibliography

• Abbott, J. - Traverso, C.
  Specification of the POSSO External Data Representation
  Available electronically from posso.dm.unipi.it:/pub/posso/Deliverables/PossoXDR4.tex.gz
  [bibtex]

• Abbott, J. - van Leeuwen, A. - Strotman, A.
  Objectives of OpenMath
  http://www.cain.nl/index.html
  Preliminary version, 1995.
  [bibtex]

• Arnon, D.
  Report of the Workshop on Environments for Computational Mathematics
  ACM SIGSAM Bulletin Vol. 21, No. 4
  pp. 42-48, 1987
  [bibtex]

• Arnon, D. - Beach, R. - McIsaac, K. - Waldspurger, C.
  CaminoReal: An Interactive Mathematical Notebook
  Proceedings of EP'88 International Conference on Electronic Publishing, Document Manipulation, and Typography, Nice, France
  Cambridge University Press
  pp. 1 - 18, 1988
  [bibtex]

• Bachmann, O. - Schoenemann, H. - Gray, S.
  A Framework for Distributed Polynomial Systems Based on MP
  To appear in the Proceedings of ISSAC'96
  [bibtex]

• Broughan, K. A. - Keady, G. - Robb, T. D. - Richardson, M. G. - Dewar, M. C.
  Some Symbolic Computing Links to the NAG Numeric Library
  SIGSAM Bulletin Vol. 25, No. 3
  pp. 28 - 37, 1991
  [bibtex]

• Clement, D. - Prunet, V. - Montagnac, F.
  Integrated Software Components: a Paradigm for Control Integration
  Proceedings of the European Symposium on Software Development Environments and CASE Technology
  Springer-Verlag
  pp. 167 - 177, 1991
  [bibtex]

• Dalmas, S. - Gaetano, M. - Sausse, A.
  ASAP: a protocol for symbolic computation systems
  INRIA Technical Report 162, March 1994
  [bibtex]

• Dalmas, S. - Gaetano, M. - Sausse, A.
  Distributed Computer Algebra: the Central Control Approach
  Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO'94)
  World Scientific
  [bibtex]

• Davenport, J. H. - Dewar, M. C., Richardson, M. G.
  Symbolic and Numerical Computation: The IRENA Project
  Proceedings of the Workshop on Symbolic and Numerical Computing
  pp. 1- 18, 1991
  [bibtex]

• Dewar, M. C.
  IRENA -- An Integrated Symbolic and Numerical Computational Environment
  Proceedings of the ACM-SIGSAM International Symposium on Symbolic and Algebraic Computation (ISSAC'89), Portland, Oregon
  ACM Press
  pp. 171 - 179, 1989
  [bibtex]

• Dewar, M. C.
  Manipulating Fortran Code in AXIOM and the AXIOM-NAG Link
  Proceedings of the Workshop on Symbolic and Numeric Computing
  University of Helsinki, Finland
  pp. 1 - 12, 1994
  [bibtex]

• Dewar, M. C.
  Interfacing Algebraic and Numerical Computation
  Bath Mathematics and Computer Science Technical Report 92-54
  1991
  [bibtex]

• Diaz, A. - Kaltofen, E. - Schmitz, K. - Valente, T. - Hitz, M. - Lobo, A. - Smyth, P.
  DSC: A System for Distributed Symbolic Computitation
  Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC'91), Bonn, Germany
  ACM Press
  pp. 323 - 332, 1991
  [bibtex]

• Gray, S. - Kajler, N. - Wang, P. S.
  Specification of Expression Encoding in the Multi Protocol, version 0.5
  Institute for Computational Mathematics, Kent State Univesity
  ICM-9404-64 1994
  [bibtex]

• Gray, S. - Kajler, N. - Wang, P. S.
  MP: A Protocol for Efficient Exchange of Mathematical Expressions
  Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC'94), Oxford, Great Britain
  ACM Press
  pp. 330 - 335, 1994
  [bibtex]

• Gray, S. - Kajler, N. - Wang, P. S.
  Design and Implementation of MP, a Protocol for Efficient Exchange of Mathematical Expressions
  Forthcoming in the Journal of Symbolic Computation
  [bibtex]

• Kajler, N.
  Building a Computer Algebra Environment by Composition of Collaborative Tools
  Proceedings of DISCO'92, Bath, Great Britain
  Springer-Verlag
  pp. 85-94, 1992
  [bibtex]

• Reiss, S. P.
  Connecting Tools Using Message Passing in the Field Environment
  IEEE Software
  pp. 57 - 67, 1987
  [bibtex]

• Robb, T.
  InterCall
  Manual from Analytica
  PO Box 343, Subiaco 6008, Perth WA, Australia
  1992
  [bibtex]

• Schefstrom, D.
  Building a Highly Integrated Development Environment Using Preexisting Parts
  Proceedings of IFIP 11th World Computer Congress
  San Francisco, USA
  pp. 345 - 350, 1989
  [bibtex]

• SunSoft, Inc.
  The ToolTalk Service
  Sun Microsystems
  Technical Report
  1991
  [bibtex]

• Wolfram Research, Inc.
  MathLink Reference Guide (version 2.2)
  Mathmatica Technical Report
  1993
  [bibtex]