ProjectApproach
SCSCP

Announcement

Don’t forget to write your abstract on the guest book
Dagstuhl seminar proceeding: ’Collector’⇒ Collect contrubitions (papers, abstract, i. e. everything,which are published)
Please upload your abstracts during thisweek!(www.dagstuhl.de/09221)
Emails are going to be sent during the next week

Osmanbey Uzunkol

The SCIEnce ProjectProject
ApproachSCSCPThe SCIEnce Project
Osmanbey Uzunkol

2009

Osmanbey Uzunkol

The SCIEnce ProjectProjectApproachSCSCPOutline

1Project2

Approach

3

SCSCP

Osmanbey Uzunkol

The SCIEnce ProjectProject
Approach
SCSCPSCIEnce

SCIEnce stands for
5-year project (2006-2011)
Supported by
EU Framework VI programme
grant RII3-CT-2005-026133.
http://www.symbolic-computation.org

Osmanbey Uzunkol

The SCIEnce ProjectProjectApproach
SCSCP

Partner Institutions
University of St Andrews, St Andrews, UK
Research Institute for Symbolic Computation (RISC), Linz,Austria
Centre National de la Recherche Scientifique, FranceUniversität Kassel, Germany
Technische Universiteit Eindhoven, The Netherlands
Technische Universität Berlin, Germany
Institute e-Austria Timisoara, Romania
Maplesoft, Waterloo, Canada
Heriot Watt University, Edinburgh, UK

Osmanbey Uzunkol

The SCIEnce ProjectProjectApproach
SCSCP

Symbolic Computation systems involved

GAP
KANT/KASH
MuPAD
Maple (First prototype)
Magma (experimental)
TRIP (celestial mechanics)

Osmanbey Uzunkol

The SCIEnce ProjectProject
Approach
SCSCP

Early days

Osmanbey Uzunkol

The SCIEnce ProjectProject
Approach
SCSCP

Idea

Osmanbey Uzunkol

The SCIEnce ProjectProject
Approach
SCSCP

SCIEnceI 3 : Integrated Infrastructure Initiaitive
Combining123

Osmanbey Uzunkol

networking activities
provision of access to transnationalusers
joint research activities

The SCIEnce ProjectProject
Approach
SCSCPActivities

The project objectives are addressed by the following activities:
Networking activities (NA):
Project coordination
Technical coordination, networking and dissemination
Software composability
User training at RISC

Transnational access activities (TA):
Access to resources at RISC

Joint research activities (JRA):
Symbolic computing on the Grid

Osmanbey Uzunkol

The SCIEnce ProjectProjectApproach
SCSCP

Osmanbey Uzunkol

The SCIEnce ProjectProjectApproach
SCSCP

SCSCP
Protocol for communication
between CASes
OpenMath based
Implementation in GAP,
KANT, Maple and MuPAD
Basis for symbolic
computation on clusters andGrids
At the moment CASes can
be client or server forSCSCPOsmanbey Uzunkol

The SCIEnce ProjectProjectApproach
SCSCP

OpenMath.... . .
standard for representing
mathematical objects
focused on semantics,extendible
has different representations(XML, OpenMath binary,MathML)
not intended for typing andreading by humans such asourselves⇒ POPCORN

Osmanbey Uzunkol

The SCIEnce ProjectProjectApproachSCSCPSCSCP Java libraries
Pure Java library to handle
OpenMath objects
import and export todifferent formats (OM XML,OM binary, POPCORN,LaTeX, MathML)easy to add new importers
and exporters

Osmanbey Uzunkol

The SCIEnce ProjectProjectApproachSCSCPSCSCP Java libraries
Creating a SCSCP
server/client is fast, simple,
convenient and easy
⇒ Turning a Javaapplication into a SCSCP
server/client is a one-liner
are used for examples, for
the webproxy, for MuPAD
and for Magma

Osmanbey Uzunkol

The SCIEnce ProjectProject
Approach
SCSCP

Osmanbey Uzunkol

The SCIEnce ProjectProject
Approach
SCSCP

SCIEnce

More information on
http://www.symbolic-computation.org

Osmanbey Uzunkol

The SCIEnce ProjectProject
ApproachSCSCPThe SCIEnce Project
Thank you!

Osmanbey Uzunkol

The SCIEnce Project