The SCIEnce Project
From SCIEnce
The SCIEnce project (Symbolic Computation Infrastructure for Europe) brings together the developers of four powerful symbolic computation software packages (GAP, KANT, Maple and MuPAD) and a major symbolic computation research institute (RISC-Linz) supported by research groups expert in essential underpinning technologies, to unite the European community of researchers in, and users of, symbolic computation.
SCIEnce aims to promote the development of new software that is
- made more efficient by sharing components and expertise;
- made more interoperable in the modern Web services environment; and
- ready for the coming environment of Grid computing.
The project is an Integrated Infrastructure Initiative, funded by the European Commission under the Research Infrastructures Action of Framework 6. It began on 1 April 2006 and runs for 5 years.
[edit] Main Project Activities
- Software composability through a standard web services interface
- Software access from symbolic computation systems to Grid Services and Computational Grids
- Knowledge dissemination and user training trough series of summer school and workshops. The nearest event is the 5th SCIEnce Training School in Symbolic Computation, RISC-LINZ, June 28 - July 9, 2010 (Application deadline March 1st, 2010).
- Personal access to facilities at RISC (see also list of user projects).
[edit] Software composability
Our work is centered around SCSCP what means the Symbolic Computation Software Composability Protocol. This protocol is a remote procedure call framework, in which both protocol messages and data are encoded in the OpenMath format. This is one of the important distinctive features of the protocol. The other one is that the OpenMath implementations stay mainly within the computer algebra systems rather than in custom-built wrappers.
The current version of the protocol is 1.3, released in March 2009 (see SCSCP page for downloads). The protocol is accompanied by two OpenMath content dictionaries, scscp1 and scscp2. Now a variety of SCSCP-compliant software tools is growing up, including:
- Support of OpenMath and SCSCP in the following computer algebra systems:
- GAP - with packages SCSCP and openmath
- KANT - with the KANT 4 SCSCP Package
- MuPAD - with the MuPAD OpenMath Package
- Middleware and API:
- Java Library java.symcomp.org for Java API for SCSCP and OpenMath
- POPCORN - convertor between OpenMath and Popcorn (Possibly Only Practicable Convenient OpenMath Replacement Notation).
- WUPSI - Wonderful Universal Popcorn SCSCP Interface, a command line SCSCP-compliant interface.
Besides that, our external collaborators users developed:
- SCSCP client and server for the TRIP system for celestial mechanics.
- C/C++library providing a C API to develop client and server SCSCP-compliant applications.
[edit] More Information
| SCIEnce Project Documents | SCIEnce Project Presentations | ||||
|---|---|---|---|---|---|
| Symbolic Computation Software Composibility Protocol, v.1.3 | The SCIEnce project (8th OpenMath Meeting, RISC, 2007) | ||||
| Flyer Describing the SCIEnce Project | SymGrid (Invited talk, SYNASC 2007) | ||||
| List of project publications, talks and posters | |||||
