Symbolic computation software composability

S. Freundt, P. Horn, A. Konovalov, S. Linton, D.A. Roozemond

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Citations (Scopus)


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) project1. 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.
Original languageEnglish
Title of host publicationIntelligent Computer Mathematics (9th International Conference, AISC 2008; 15th Symposium, Calculemus 2008; 7th International Conference, MKM 2008, Birmingham, UK, July 28-August 1, 2008, Proceedings)
EditorsS. Autexier, J. Campbell, J. Rubio, V. Sorge, M. Suzuki, F. Wiedijk
Place of PublicationBerlin
ISBN (Print)978-3-540-85109-7
Publication statusPublished - 2008

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'Symbolic computation software composability'. Together they form a unique fingerprint.

Cite this