Skip to content

Research at St Andrews

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

Research output: Contribution to journalArticle

Abstract

We present the results of the first four years of the European research project SCIEnce—Symbolic Computation Infrastructure in Europe (http://www.symbolic-computing.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 the SCSCP middleware and APIs, outline implementations for various Computer Algebra Systems (CAS), and show how SCSCP-compliant components may be combined to solve scientific problems that cannot be solved within a single CAS, or may be organised into a system for distributed parallel computations. Additionally, we present several domain-specific parallel skeletons that capture commonly used symbolic computations. To ease use and to maximise inter-operability, these skeletons themselves are provided as SCSCP services and take SCSCP services as arguments.
Close

Details

Original languageEnglish
Pages (from-to)95-119
Number of pages15
JournalJournal of Symbolic Computation
Volume49
Early online date25 Jan 2012
DOIs
StatePublished - Feb 2013

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

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

    Linton, S., Hammond, K., Konovalov, A., Al Zain, A. D., Trinder, P., Horn, P. & Roozemond, D. 2010 Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation. ACM, p. 339-346 8 p. (ISSAC '10)

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

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

Related by journal

  1. Computing finite semigroups

    East, J., Egri-Nagy, A., Mitchell, J. D. & Péresse, Y. 14 Feb 2018 In : Journal of Symbolic Computation. 45 p.

    Research output: Contribution to journalArticle

  2. New refiners for permutation group search

    Jefferson, C., Pfeiffer, M. & Waldecker, R. 11 Jan 2018 In : Journal of Symbolic Computation. 92, p. 70-92 23 p.

    Research output: Contribution to journalArticle

  3. Integrality and arithmeticity of solvable linear groups

    Detinko, A., Flannery, D. & de Graaf, W. 2015 In : Journal of Symbolic Computation. 68, p. 138–145

    Research output: Contribution to journalArticle

  4. Constructive homomorphisms for classical groups

    Murray, S. H. & Roney-Dougal, C. M. Apr 2011 In : Journal of Symbolic Computation. 46, 4, p. 371-384

    Research output: Contribution to journalArticle

ID: 7528215