4th SCIEnce Workshop

LIX

LIX

A brief overview of the SCIEnce project

LIX

A New Lingua Franca for Symbolic Computation: Easy Composition of Symbolic Computation Software

I will present the new way of combining computer algebra systems using the Symbolic Computation Software Composability Protocol (SCSCP), in which both protocol messages and data are encoded in the OpenMath format. I will describe SCSCP middleware and APIs, outline several SCSCP implementations for particular computer algebra systems (CAS) and show how SCSCP-compliant components may be combined to solve scientific problems that can not be solved within a single CAS, or may be organised into a system for distributed parallel computations.

LIX

Heriot-Watt Summary (An overview of Heriot-Watt SCIEnce activities)

LIX

The homalg project

I will talk about the homalg project, how it started and where it is heading. I will explain its basic philosophy, the technical difficulties we needed to overcome, the mathematical ideas it builds upon, current and future applications. Last but not least I will demonstrate the role of SCSCP in the project and our future plans in this regard.

PAINLEVÉ

SCSCP/Mathematica; RISC activities in JRA1

In this talk we report the outcome of the activity of RISC in the frame of the JRA1. In the main part, we present a newly developed software package (called SCSCP4Mathematica; available from this page) which supports the usage of SCSCP from the scientific software Mathematica of Wolfram Research.

Our solution is based on the Java library called org.symcomp.scscp, which is a pure Java library implementing SCSCP and we combined it with the J/Link interface of Wolfram Mathematica, which allows to call Java codes from Mathematica.

To demonstrate the capability and the effectiveness of this software package, we developed a small distributed application in Mathematica based on the remote procedure call functionality of the SCSCP protocol and analyzed its performance in some test cases.

PAINLEVÉ

SCSCP C Library and TRIP

I will present the current status of the SCSCP C Library (http://www.imcce.fr/trip/scscp) which implements the SCSCP protocol with two interfaces for C and C++. I will show the integration of this library in the computer algebra system TRIP (http://www.imcce.fr/trip). An application to a celestial mechanics problem will be shown which combines TRIP and other general computer algebra systems, such as Mathematica or Mupad, using the SCSCP protocol.

PAINLEVÉ

SymGrid-Par: Parallel Orchestration of Symbolic Computation

In this talk I will introduce SymGrid-Par: a software system for the parallel coordination of computer algebra systems. In particular I will give a brief demonstration of SymGrid-Par connecting to GAP using the SCSCP interface. In addition to talking about SGP, I will also introduce some skeletons and the Computer Algebra SHell (CASH): a transparent (parallel) computer algebra system for Haskell.

PAINLEVÉ

Work Stealing for Irregular Parallel Applications on Computational Grids

PAINLEVÉ

Implementing SCSCP using Maple and MapleNET

SCSCP has been implemented in technologies from Maplesoft. The client is implemented in Maple. The server is implemented in MapleNET and Maple. In addition to a high-level description of the implementation, I'll present some examples showing the Maple SCSCP server solving non-trivial problems.

LIX

SAGE [Slides] Demo

LIX

Computing braid orbits with GAP & SCSCP

This is a joint project with Sergey Shpectorov and Kay Magaard.

Given a finite group G and a collection of conjugacy classes for G, a Nielsen class is the set of fixed length tuples with elements from the aforementioned conjugacy classes. The Artin braid group acts on Nielsen classes. Braid orbits on Nielsen classes help us to classify ramified covers of the Riemann sphere. In the first half of this talk we will introduce the background material and give a brief history of the computation of braid orbits. Using GAP we have created tools to analyse braid orbits, culminating in the creation of the MapClass package. We will discuss some of the difficulties involved in the creation of this package and how we have solved some (but not all) of these problems. In the second half I will talk about how we are using SCSCP to compute braid orbits in parallel. Finally I will speak about how the package is now used in our research.

LIX

Integration of SCIEnce into MathDox (preliminary title; exact title and abstract TBA)

LIX

Account of the Summer Schools and the TAP visitor program

RISC has been leading the activities in Summer Schools and the TAP visitor program. We will present statistics and our experience in these interactions with a great number of scientists from all over Europe.

LIX

Mathemagix [Slides]

MONGE

The GAP package GAPDoc

The GAPDoc package is used for the documentation of many GAP packages and from the next GAP release also for the documentation of the core part of GAP. It defines an XML-based document structure and provides programs to produce pdf-,text- and HTML-versions of the manuals. It also provides functionality of independent interest, for example an XML parser which is used by various packages, e.g. OpenMath and so SCSCP.

MONGE