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
StatePublished - 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. HPC-GAP: engineering a 21st-century High-Performance Computer algebra system

    Behrends, R., Hammond, K., Janjic, V., Konovalov, A., Linton, S. A., Loidl, H-W., Maier, P. & Trinder, P. 10 Sep 2016 In : Concurrency and Computation : Practice and Experience. 28, 13, p. 3606-3636 33 p.

    Research output: Contribution to journalArticle

  2. Easy Composition of Symbolic Computation Software using SCSCP: A New Lingua Franca for Symbolic Computation

    Linton, S. A., Hammond, K., Konovalov, A., Brown, C. M., Trinder, P. W., Loidl, H-W., Horn, P. & Roozemond, D. Feb 2013 In : Journal of Symbolic Computation. 49, p. 95-119 15 p.

    Research output: Contribution to journalArticle

  3. Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System

    Al Zain, A. D., Trinder, P. W., Hammond, K., Konovalov, A., Linton, S. & Berthold, J. 2008 PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 99-112 14 p.

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

  4. S-crucial and bicrucial permutations with respect to squares

    Gent, I., Kitaev, S., Konovalov, A., Linton, S. & Nightingale, P. 3 Jun 2015 In : Journal of Integer Sequences. 18, 6, 22 p., 15.6.5

    Research output: Contribution to journalArticle

  5. Space exploration using parallel orbits: a study in parallel symbolic computing

    Janjic, V., Brown, C. M., Neunhoeffer, M., Hammond, K., Linton, S. A. & Loidl, H-W. Sep 2013 Parallel Computing: Accelerating Computational Science and Engineering (CSE). Bader, . M., Bode, A., Bungartz, H-J., Gerndt, M., Joubert, G. R. & Peters, F. (eds.). IOS Press, Vol. 25, p. 225-232 8 p. (Advances in Parallel Computing)

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

ID: 6043761