CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
Tweet
Share
Share
1
<?xml version="1.0" encoding="UTF-8"?>

2


3
<!DOCTYPE Book SYSTEM "gapdoc.dtd"

4
    [ <!ENTITY IO "<Package>IO</Package>">

5
      <!ENTITY OpenMath "<Package>OpenMath</Package>">

6
      <!ENTITY scscp1 "<Package>scscp1</Package>">

7
      <!ENTITY scscp2 "<Package>scscp2</Package>">

8
      <!ENTITY SCSCP "<Package>SCSCP</Package>">

9
      <#Include Label="PKGVERSIONDATA">

10
    ]>

11


12
<Book Name="openmath">

13


14
<TitlePage>

15
  <Title>&OpenMath;</Title>

16
  <Subtitle>&OpenMath; functionality in GAP</Subtitle>

17
  <Version>Version &VERSION;</Version>

18


19
  <Author>Marco Costantini

20
          <!-- <Email>costanti at science dot unitn dot it</Email> -->

21
	      <!-- <Homepage>http://www-math.science.unitn.it/&tilde;costanti/</Homepage> -->

22
	      <Address>

23
            Department of Mathematics<Br/>

24
            University of Trento<Br/>

25
          </Address> 

26
  </Author> 

27
    

28
  <Author>Alexander Konovalov

29
          <Email>alexk at mcs dot st-andrews dot ac dot uk</Email>

30
	      <Homepage>http://www.cs.st-andrews.ac.uk/&tilde;alexk/</Homepage>

31
	      <Address>

32
            School of Computer Science<Br/>

33
            University of St Andrews<Br/>

34
            Jack Cole Building, North Haugh,<Br/>

35
            St Andrews, Fife, KY16 9SX, Scotland<Br/>

36
          </Address> 

37
  </Author>  

38
  

39
  <Author>Max Nicosia

40
          <Email>lmn27 at cam dot ac dot uk</Email>

41
          <Homepage>http://www-edc.eng.cam.ac.uk/&tilde;lmn27/</Homepage>

42
	      <Address>

43
	        University of Cambridge<Br/>

44
	        Department of Engineering<Br/>

45
	        Engineering Design Centre<Br/>

46
	        Intelligent Interactive Systems Group<Br/>

47
	        Trumpington Street, Cambridge, CB2 1PZ, UK<Br/>

48
          </Address> 

49
  </Author>  

50


51
  <Author>Andrew Solomon

52
          <Email>andrew at illywhacker dot net</Email>

53
	      <Homepage>http://www.illywhacker.net/</Homepage>

54
	      <Address>

55
            Faculty of IT<Br/>

56
            University of Technology, Sydney<Br/>

57
            Broadway, NSW 2007<Br/>

58
            Australia<Br/>

59
          </Address> 

60
  </Author>

61
  

62
  <Date>&RELEASEDATE;</Date>

63


64
<Abstract>

65


66
<Index Key="SCSCP package">&OpenMath; package</Index> 

67


68
The &OpenMath; package provides an &OpenMath; phrasebook for &GAP;: 

69
it allows &GAP; users to import and export mathematical objects 

70
encoded in &OpenMath;, for the purpose of exchanging them with other 

71
&OpenMath;-enabled applications. 

72
</Abstract>

73


74
<Copyright>

75
The &OpenMath; package is free software; 

76
you can redistribute it and/or modify it under the terms of the 

77
<URL Text="GNU General Public License">http://www.fsf.org/licenses/gpl.html</URL> 

78
as published by the Free Software Foundation; either version 2 of the License, 

79
or (at your option) any later version.

80
</Copyright>

81
  

82
<Acknowledgements>

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

84
<List>

85
  <Item>European Commission through ESPRIT grant EP 24969 

86
  <Q>Accessing and Using Mathematical Information Electronically</Q>

87
  (see <P/>

88
  <URL>http://web.archive.org/web/20040416013945/http://www.nag.co.uk/projects/OpenMath.html</URL>).</Item>

89
  <Item>EU FP6 Programme project 026133 

90
  <Q>SCIEnce - Symbolic Computation Infrastructure for Europe</Q>

91
  (see <URL>http://www.symbolic-computing.org/</URL>).</Item>

92
  <Item>OpenDreamKit Horizon 2020 European Research Infrastructures project #676541

93
  (see <URL>http://opendreamkit.org/</URL>).</Item>

94
</List>  

95
We acknowledge with gratitude this support.<P/>

96
</Acknowledgements>

97


98
</TitlePage>

99


100
<TableOfContents/>

101


102
<Body>

103


104
<#Include SYSTEM "intro.xml">

105
<#Include SYSTEM "openmath.xml">

106
<#Include SYSTEM "extend.xml">

107


108
</Body>

109


110
<Bibliography Databases="manual"/>

111


112
<TheIndex/>

113


114
</Book>

115