Symbolic Computation Software Composability
نویسندگان
چکیده
We present three examples of the composition of Computer Algebra Systems to illustrate the progress on a composability infrastructure as part of the SCIEnce (Symbolic Computation Infrastructure for Europe) project. One of the major results of the project so far is an OpenMath based protocol called SCSCP (Symbolic Computation Software Composability Protocol). SCSCP enables the various software packages for example to exchange mathematical objects, request calculations, and store and retrieve remote objects, either locally or accross the internet. The three examples show the current state of the GAP, KANT, and MuPAD software packages, and give a demonstration of exposing Macaulay using a newly developed framework.
منابع مشابه
Interfacing Coq + SSReflect with GAP
We report on an extendable implementation of the communication interface connecting Coq proof assistant to the computational algebra system GAP using the Symbolic Computation Software Composability Protocol (SCSCP). It allows Coq to issue OpenMath requests to a local or remote GAP instances and represent server responses as Coq terms.
متن کاملSymbolic Computations as Grid and Web Services
Modern symbolic computations increasingly require infrastructure for implementing parallel algorithms and combining capabilities available in several different systems. Moreover, there are growing numbers of symbolic computation resources, such as databases or specialized software which could be made available as Web services or Grid services accessible over the Internet. The EU Framework VI pr...
متن کاملEasy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation
We present the results of the first four years of the European research project SCIEnce – Symbolic Computation Infrastructure in Europe (http://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...
متن کاملA Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems
The pre-eminent role played by software composition, and more particularly service composition, in modern software development, together with the complexity of workflow languages such as WS-BPEL have made composite service testing a topical issue. In this article we contribute to this issue with an automatic testing approach for WSBPEL orchestrations. Compared to related work, we support WS-BPE...
متن کاملSpecial issue on symbolic computation in software science
This special issue of the Journal of Symbolic Computation is related to the Fourth and Fifth International Symposia on Symbolic Computation in Software Science, SCSS 2012 and SCSS 2013, held, respectively, in Gammarth, Tunisia, December 15–17, 2012 and in Hagenberg, Austria, July 5–6, 2013. After an open call for papers, we received 18 submissions, six of which have been selected for publicatio...
متن کامل