1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
|
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE Book SYSTEM "gapdoc.dtd"
[ <!ENTITY IO "<Package>IO</Package>">
<!ENTITY OpenMath "<Package>OpenMath</Package>">
<!ENTITY scscp1 "<Package>scscp1</Package>">
<!ENTITY scscp2 "<Package>scscp2</Package>">
<!ENTITY SCSCP "<Package>SCSCP</Package>">
<#Include Label="PKGVERSIONDATA">
]>
<Book Name="openmath">
<TitlePage>
<Title>&OpenMath;</Title>
<Subtitle>&OpenMath; functionality in GAP</Subtitle>
<Version>Version &VERSION;</Version>
<Author>Marco Costantini
<!-- <Email>costanti at science dot unitn dot it</Email> -->
<!-- <Homepage>http://www-math.science.unitn.it/˜costanti/</Homepage> -->
<Address>
Department of Mathematics<Br/>
University of Trento<Br/>
</Address>
</Author>
<Author>Alexander Konovalov
<Email>alexk at mcs dot st-andrews dot ac dot uk</Email>
<Homepage>http://www.cs.st-andrews.ac.uk/˜alexk/</Homepage>
<Address>
School of Computer Science<Br/>
University of St Andrews<Br/>
Jack Cole Building, North Haugh,<Br/>
St Andrews, Fife, KY16 9SX, Scotland<Br/>
</Address>
</Author>
<Author>Max Nicosia
<Email>lmn27 at cam dot ac dot uk</Email>
<Homepage>http://www-edc.eng.cam.ac.uk/˜lmn27/</Homepage>
<Address>
University of Cambridge<Br/>
Department of Engineering<Br/>
Engineering Design Centre<Br/>
Intelligent Interactive Systems Group<Br/>
Trumpington Street, Cambridge, CB2 1PZ, UK<Br/>
</Address>
</Author>
<Author>Andrew Solomon
<Email>andrew at illywhacker dot net</Email>
<Homepage>http://www.illywhacker.net/</Homepage>
<Address>
Faculty of IT<Br/>
University of Technology, Sydney<Br/>
Broadway, NSW 2007<Br/>
Australia<Br/>
</Address>
</Author>
<Date>&RELEASEDATE;</Date>
<Abstract>
<Index Key="SCSCP package">&OpenMath; package</Index>
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.
</Abstract>
<Copyright>
The &OpenMath; package is free software;
you can redistribute it and/or modify it under the terms of the
<URL Text="GNU General Public License">http://www.fsf.org/licenses/gpl.html</URL>
as published by the Free Software Foundation; either version 2 of the License,
or (at your option) any later version.
</Copyright>
<Acknowledgements>
On various stages the development of the &OpenMath; package was supported by:
<List>
<Item>European Commission through ESPRIT grant EP 24969
<Q>Accessing and Using Mathematical Information Electronically</Q>
(see <P/>
<URL>http://web.archive.org/web/20040416013945/http://www.nag.co.uk/projects/OpenMath.html</URL>).</Item>
<Item>EU FP6 Programme project 026133
<Q>SCIEnce - Symbolic Computation Infrastructure for Europe</Q>
(see <URL>http://www.symbolic-computing.org/</URL>).</Item>
<Item>OpenDreamKit Horizon 2020 European Research Infrastructures project #676541
(see <URL>http://opendreamkit.org/</URL>).</Item>
</List>
We acknowledge with gratitude this support.<P/>
</Acknowledgements>
</TitlePage>
<TableOfContents/>
<Body>
<#Include SYSTEM "intro.xml">
<#Include SYSTEM "openmath.xml">
<#Include SYSTEM "extend.xml">
</Body>
<Bibliography Databases="manual"/>
<TheIndex/>
</Book>
|
