Symbolic Computation Software Composability

Sebastian Freundt,Peter Horn,Alexander Konovalov,Steve Linton,Dan Roozemond

Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics（2008）

引用 15|浏览0

暂无评分

摘要

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.

查看译文

关键词

major result,computer algebra systems,symbolic computation software composability,remote object,mupad software package,mathematical object,various software package,composability infrastructure,symbolic computation infrastructure,current state,symbolic computation

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要