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

Authors:
S. Linton;K. Hammond;A. Konovalov;A. D. Al Zain;P. Trinder;P. Horn;D. Roozemond
Affiliations:
University of St Andrews;University of St Andrews;University of St Andrews;Heriot-Watt University;Heriot-Watt University;Universität Kassel;Technical Universiteit Eindhoven
Venue:
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Year:
2010

Citing 9
Cited 4

GUM: a portable parallel implementation of Haskell

PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
KANT V4

Journal of Symbolic Computation - Special issue on computational algebra and number theory: proceedings of the first MAGMA conference
Construction of finite groups

Journal of Symbolic Computation
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS

TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Generic Access to Web and Grid-based Symbolic Computing Services: the SymGrid-Services Framework

ISPDC '07 Proceedings of the Sixth International Symposium on Parallel and Distributed Computing
Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs

IEEE Transactions on Parallel and Distributed Systems
SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids

ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System

ISPA '08 Proceedings of the 2008 IEEE International Symposium on Parallel and Distributed Processing with Applications
SymGrid: a framework for symbolic computation on the grid

Euro-Par'07 Proceedings of the 13th international Euro-Par conference on Parallel Processing

The sage project: unifying free mathematical software to create a viable alternative to magma, maple, mathematica and MATLAB

ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Improving your cash flow: the computer algebra shell

IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation

Journal of Symbolic Computation
Ontologies and languages for representing mathematical knowledge on the Semantic Web

Semantic Web

Quantified Score

Hi-index	0.00

Visualization

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.