Symbolic Computation in Europe

FP6-2004-Infrastructure-5-026123, I3

Official site:

Local project site:

Partners (11): Univ. St. Andrews UK (leader), RISC, IeAT, Univ. Padeborn, Univ. Eidhoven etc
Starts: March 2006, 5 years

The goal of this project is to improve integration between key world-leading developer 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 intercommunicate 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 to permit trans-network access to mathematical databases from any of our systems capable of interpreting the answer;
  • produce a range of databases of mathematical objects which are accessible in a transnational fashion;
  • develop a set of common benchmarks for Symbolic Computation permitting system comparison and evaluation;
  • 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.

The project is structured so as to ensure close integration between participants, both through general project workshops and through the need to work closely on the technical Activities of the project. Wherever practical, involvement has been further enhanced by devolving the management of important project Activities to the most technically interested participants.