Easy composition of symbolic computation software: A new lingua franca for symbolic computation

S. Linton, K. Hammond, A. Konovalov, A. D. Al Zain, R. Trinder, D. Roozemond, R. Horn

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Abstract

We present the results of the first four years of the European research project SCIEnce (www.symbolic-computation.org), which aims to provide key infrastructure for symbolic computation research. A primary outcome of the project is that we have developed a new way of combining computer algebra systems using the Symbolic Computation Software Composability Protocol (SCSCP), in which both protocol messages and data are encoded in the OpenMath format. We describe SCSCP middleware and APIs, outline some implementations for various Computer Algebra Systems (CAS), and show how SCSCP-compliant components may be combined to solve scientific problems that can not be solved within a single CAS, or may be organised into a system for distributed parallel computations. Copyright 2010 ACM.

Original languageEnglish
Title of host publicationProceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC 2010
Pages339-346
Number of pages8
Publication statusPublished - 2010
Event2010 International Symposium on Symbolic and Algebraic Computation - Munich, Germany
Duration: 25 Jul 201028 Jul 2010

Conference

Conference2010 International Symposium on Symbolic and Algebraic Computation
Abbreviated titleISSAC 2010
CountryGermany
CityMunich
Period25/07/1028/07/10

Keywords

  • Coordination
  • Interface
  • OpenMath
  • Parallelism
  • SCSCP

Fingerprint Dive into the research topics of 'Easy composition of symbolic computation software: A new lingua franca for symbolic computation'. Together they form a unique fingerprint.

  • Cite this

    Linton, S., Hammond, K., Konovalov, A., Al Zain, A. D., Trinder, R., Roozemond, D., & Horn, R. (2010). Easy composition of symbolic computation software: A new lingua franca for symbolic computation. In Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC 2010 (pp. 339-346)