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

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

doi:10.1145/1837934.1837999

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

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English
Title of host publication	Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Publisher	ACM
Pages	339-346
Number of pages	8
ISBN (Electronic)	978-1-4503-0150-3
ISBN (Print)	978-1-4503-0150-3
DOIs	https://doi.org/10.1145/1837934.1837999
Publication status	Published - 2010
Event	International Symposium on Symbolic and Algebraic Computation (ISSAC 2010) - Munich, Germany Duration: 25 Jul 2011 → 28 Jul 2011

Publication series

Name	ISSAC '10

Conference

Conference	International Symposium on Symbolic and Algebraic Computation (ISSAC 2010)
Country/Territory	Germany
City	Munich
Period	25/07/11 → 28/07/11

Keywords

OpenMath
SCSCP
interface
parallelism
coordination

Access to Document

10.1145/1837934.1837999

Cite this

@inproceedings{aa76b9360a0242a3bc8c622cd31c3400,

title = "Easy composition of symbolic computation software: a new lingua franca for symbolic computation",

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

keywords = "OpenMath, SCSCP, interface, parallelism, coordination",

author = "S. Linton and K. Hammond and A. Konovalov and {Al Zain}, {A. D.} and P. Trinder and P. Horn and D. Roozemond",

year = "2010",

doi = "10.1145/1837934.1837999",

language = "English",

isbn = "978-1-4503-0150-3",

series = "ISSAC '10",

publisher = "ACM",

pages = "339--346",

booktitle = "Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation",

address = "United States",

note = "International Symposium on Symbolic and Algebraic Computation (ISSAC 2010) ; Conference date: 25-07-2011 Through 28-07-2011",

}

Linton, S, Hammond, K, Konovalov, A, Al Zain, AD, Trinder, P, Horn, P & Roozemond, D 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 '10, ACM, pp. 339-346, International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), Munich, Germany, 25/07/11. https://doi.org/10.1145/1837934.1837999

TY - GEN

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

AU - Linton, S.

AU - Hammond, K.

AU - Konovalov, A.

AU - Al Zain, A. D.

AU - Trinder, P.

AU - Horn, P.

AU - Roozemond, D.

PY - 2010

Y1 - 2010

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

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

KW - OpenMath

KW - SCSCP

KW - interface

KW - parallelism

KW - coordination

UR - http://doi.acm.org/10.1145/1837934.1837999

U2 - 10.1145/1837934.1837999

DO - 10.1145/1837934.1837999

M3 - Conference contribution

SN - 978-1-4503-0150-3

T3 - ISSAC '10

SP - 339

EP - 346

BT - Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation

PB - ACM

T2 - International Symposium on Symbolic and Algebraic Computation (ISSAC 2010)

Y2 - 25 July 2011 through 28 July 2011

ER -

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

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

1 Symbolic Compulation Infra' 026133: Symbolic computation infrastructure for Europe

Cite this

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

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Projects

1 Symbolic Compulation Infra' 026133: Symbolic computation infrastructure for Europe

Cite this