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

• Type: Conference
• Year: 2008
• Where: AISC
• Authors: Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond
• Keywords: AISC 2008, Artificial Intelligence, Computation Software Composability, Symbolic Computation, Symbolic Computation Infrastructure