Registrations are closed.

Conference Place

The workshop will take place the 26 and 27 July 2012 as a satellite conference of ISSAC 2012 at the University of Grenoble in France.

Scope of the conference

Nowadays, two kinds of mathematical computation systems have met a great success. Historically, we find numerical computation systems, such as Matlab, Octave or Scilab. These systems allow for the approximate resolution of analytic problems, such as the integration of differential equations. On the other hand, we find symbolic computation systems, such as Mathematica, Maple, Axiom, Singular or more recently Sage.

In the MaGiX project, we intend to transpose the computer algebra spirit of exact mathematical computations to analytic problems. In order to achieve this goal, techniques from various areas need to be combined. Besides computer algebra and reliable computation, we also need an adequate mathematical programming language which is sufficiently efficient for numerical computations. Since the ultimate goal is to develop a user friendly and general purpose system for algebraic and analytic computations, nice user interfaces are also an important issue.

The MaGiX@ISSAC conference therefore aims to bring together developers and users of mathematical software in the areas of computer algebra, reliable numeric computation, user interfaces and mathematical programming languages. The conference consists of a mixture of talks, software demonstrations, round tables, and programming sessions.

Organization

The organizing committee can be joined at magixaissac [at] lix.polytechnique.fr.

The local organization is ensured by the Local Arrangements committee of ISSAC 2012.

Sponsor

• Anr grant ANR-09-JCJC-0098-01 MaGiX