Goto Chapter: Top 1 2 3 Bib Ind
 Top of Book   Next Chapter 

OpenMath

OpenMath functionality in GAP

Version 10.1.0

30 March 2010

Marco Costantini
Email: costanti at science dot unitn dot it
Address:
Department of Mathematics
University of Trento

Alexander Konovalov
Email: alexk at mcs dot st-andrews dot ac dot uk
Homepage: http://www.cs.st-andrews.ac.uk/~alexk/
Address:
School of Computer Science
University of St Andrews
Jack Cole Building, North Haugh,
St Andrews, Fife, KY16 9SX, Scotland

Andrew Solomon
Email: andrew at illywhacker dot net
Homepage: http://www.illywhacker.net/
Address:
Faculty of IT
University of Technology, Sydney
Broadway, NSW 2007
Australia

Abstract

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.

Copyright

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).

Acknowledgements

On various stages the development of the OpenMath package was supported by:

We acknowledge with gratitude this support.

Contents

1 Introduction and installation
2 OpenMath functionality in GAP
3 Extending the OpenMath package

 Top of Book   Next Chapter 
Goto Chapter: Top 1 2 3 Bib Ind

generated by GAPDoc2HTML