Skip to content

Research at St Andrews

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

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

DOI

Author(s)

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

School/Research organisations

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.
Close

Details

Original languageEnglish
Title of host publicationProceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
PublisherACM
Pages339-346
Number of pages8
ISBN (Electronic)978-1-4503-0150-3
ISBN (Print)978-1-4503-0150-3
DOIs
Publication statusPublished - 2010
EventInternational Symposium on Symbolic and Algebraic Computation (ISSAC 2010) - Munich, Germany
Duration: 25 Jul 201128 Jul 2011

Publication series

NameISSAC '10

Conference

ConferenceInternational Symposium on Symbolic and Algebraic Computation (ISSAC 2010)
CountryGermany
CityMunich
Period25/07/1128/07/11

    Research areas

  • OpenMath, SCSCP, interface, parallelism, coordination

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. GAP – Groups, Algorithms, and Programming, Version 4.10.1

    The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 23 Feb 2019

    Research output: Non-textual formSoftware

  2. GAP – Groups, Algorithms, and Programming, Version 4.10.0

    The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 1 Nov 2018

    Research output: Non-textual formSoftware

  3. GAP – Groups, Algorithms, and Programming, Version 4.9.3

    The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 5 Sep 2018

    Research output: Non-textual formSoftware

  4. GAP – Groups, Algorithms, and Programming, Version 4.9.2

    The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 4 Jul 2018

    Research output: Non-textual formSoftware

  5. GAP – Groups, Algorithms, and Programming, Version 4.9.1

    The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 5 May 2018

    Research output: Non-textual formSoftware

ID: 6043761