## &OpenMath;

&OpenMath; functionality in GAP
Version 10.1.0
Marco Costantini costanti at science dot unitn dot it

                Department of Mathematics

                University of Trento

Alexander Konovalov alexk at mcs dot st-andrews dot ac dot uk http://www.cs.st-andrews.ac.uk/˜alexk/

                School of Computer Science

                University of St Andrews

                Jack Cole Building, North Haugh,

                St Andrews, Fife, KY16 9SX, Scotland

Andrew Solomon andrew at illywhacker dot net http://www.illywhacker.net/

                Faculty of IT

                University of Technology, Sydney

                Broadway, NSW 2007

                Australia

30 March 2010

&OpenMath; package

The &OpenMath; package provides an &OpenMath; phrasebook for &GAP;: it allows &GAP; users to import and export mathematical objects encoded in &OpenMath;, for the purpose of exchanging them with other &OpenMath;-enabled applications.

The &OpenMath; package is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. For details, see the FSF's own site http://www.gnu.org/licenses/gpl.html.

Additionally, the &OpenMath; package contains code developed at INRIA (copyright INRIA), under the ESPRIT project number 24969 (&OpenMath;). The user may not use the library in commercial products without seeking permission from the &GAP; group (support@gap-system.org) and the CAFE team at INRIA SA (stephane.dalmas@sophia.inria.fr).

On various stages the development of the &OpenMath; package was supported by: European Commission through ESPRIT grant EP 24969 Accessing and Using Mathematical Information Electronically (see

http://web.archive.org/web/20040416013945/http://www.nag.co.uk/projects/OpenMath.html). EU FP6 Programme project 026133 SCIEnce - Symbolic Computation Infrastructure for Europe (see http://www.symbolic-computation.org/). We acknowledge with gratitude this support.

<#Include SYSTEM "intro.xml"> <#Include SYSTEM "openmath.xml"> <#Include SYSTEM "extend.xml">