Quelle manual.xml Sprache: XML

<?xml version="1.0" encoding="UTF-8"?>

<!DOCTYPE Book SYSTEM "gapdoc.dtd"
 [ <!ENTITY IO "IO">
 <!ENTITY OpenMath "OpenMath">
 <!ENTITY scscp1 "scscp1">
 <!ENTITY scscp2 "scscp2">
 <!ENTITY SCSCP "SCSCP">
 <#Include Label="PKGVERSIONDATA">
 ]>

<Book Name="openmath">

<TitlePage>
 <Title>&OpenMath;</Title>
 <Subtitle>&OpenMath; functionality in GAP</Subtitle>
 <Version>Version &VERSION;</Version>

 <Author>Marco Costantini
 
 
 <Address>
 Department of Mathematics 
 University of Trento 
 </Address>
 </Author>

 <Author>Olexandr Konovalov
 <Email>obk1 at st-andrews dot ac dot uk</Email>
 <Homepage>https://alex-konovalov.github.io/</Homepage>
 <Address>
 School of Computer Science 
 University of St Andrews 
 Jack Cole Building, North Haugh, 
 St Andrews, Fife, KY16 9SX, Scotland 
 </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 
 Department of Engineering 
 Engineering Design Centre 
 Intelligent Interactive Systems Group 
 Trumpington Street, Cambridge, CB2 1PZ, UK 
 </Address>
 </Author>

 <Author>Andrew Solomon
 <Email>andrew at illywhacker dot net</Email>
 <Homepage>http://www.illywhacker.net/</Homepage>
 <Address>
 Faculty of IT 
 University of Technology, Sydney 
 Broadway, NSW 2007 
 Australia 
 </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 
 <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>https://opendreamkit.org/</URL>).</Item>
</List>
We acknowledge with gratitude this support.
</Acknowledgements>

</TitlePage>

<TableOfContents/>

<Body>

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

</Body>

<Bibliography Databases="manual"/>

<TheIndex/>

</Book>

Messung V0.5

¤ Dauer der Verarbeitung: 0.4 Sekunden ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.