Symbolic Computation Software Composability

Authors:
Sebastian Freundt;Peter Horn;Alexander Konovalov;Steve Linton;Dan Roozemond
Affiliations:
Fakultät II - Institut für Mathematik, Technische Universität Berlin, Berlin, Germany;Fachbereich Mathematik, Universität Kassel, Kassel, Germany;School of Computer Science, University of St Andrews, Scotland;School of Computer Science, University of St Andrews, Scotland;Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Netherlands
Venue:
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Year:
2008

Citing 2
Cited 7

Construction of finite groups

Journal of Symbolic Computation
Modern computer algebra

Modern computer algebra

OpenMath in SCIEnce: SCSCP and POPCORN

Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Integrating multiple sources to answer questions in algebraic topology

AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Symbolic computation software composability protocol and its implementations

ACM Communications in Computer Algebra
View of computer algebra data from Coq

MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Improving your cash flow: the computer algebra shell

IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
Interfacing Coq + SSReflect with GAP

Electronic Notes in Theoretical Computer Science (ENTCS)
Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation

Journal of Symbolic Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

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