SCIEnce
Symbolic Computation on Europe
Acronym: SCIEnce
Id: FP6-2004-Infrastructure-5-026133
Period: April 2006 - March 2011
The goal of this project is to improve integration between key
world-leading developers and application experts in Symbolic
Computation software systems. Such systems form a vital
infrastructural tool in areas of modern academic and commercial
research, with important applications in Mathematics, Physics,
Chemistry, Computer Science, Engineering and other technical
disciplines. The project will improve technical cooperation
between the developer and application groups; ensure the
incorporation of important developments in Computer Science,
including modern memory management technology; allow the
construction of tools exploiting software components developed in
multiple systems; and make such tools usable on the important new
infrastructure of heterogeneous computational Grids.
The specific objectives of the project are to:
- Eliminate the European fragmentation in the field of Symbolic Computation by bringing together the main actors and facilitate the access to their specific knowledge
- Develop versions of the GAP, Maple, KANT and MuPAD systems which can inter-communicate via a common standard Web services interface. Where necessary, the project will build on work produced by the Framework IV OpenMath (ESPRIT 24969) and Framework V MONET (IST-2001-34145) projects, and will exploit international standards such as the Global Grid Forum?s (GGF?s) web services resource framework (WS-RF);
- develop common standards and middleware to allow the production of Grid-enabled systems for Symbolic Computation;
- construct research prototypes supporting appropriate security, scheduling, resource broking for complex Symbolic Computing applications on computational Grids;
- identify common patterns of Grid computation across a range of Symbolic Computing applications, and to tailor the Grid-enabled systems to those patterns;
- promote and ensure uptake of recent developments in programming language technology, including automatic memory management, into Symbolic Computation systems;
- increase technical cooperation between systems developers, including shared development of components.
More info: http://www.risc.uni-linz.ac.at/research/projects/science/access/