Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/homalgtocas/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 6.8.2025 mit Größe 2 kB image not shown  

Quelle  title.xml   Sprache: XML

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

<!-- This is an automatically generated file. -->
<TitlePage>
  <Title>
    HomalgToCAS
  </Title>
  <Subtitle>
    A window to the outer world
  </Subtitle>
  <Version>
    2025.08-01
  </Version>
  <Author>
    Thomas Bächler<Alt Only="LaTeX"><Br/></Alt>
<Address>
Thomas Bächler<Br/>
Lehrstuhl B fuer Mathematik, RWTH Aachen<Br/>
Templergraben 64<Br/>
52062 Aachen<Br/>
Germany<Br/>
</Address>
<Email>thomas@momo.math.rwth-aachen.de</Email>
<Homepage>http://wwwb.math.rwth-aachen.de/~thomas/</Homepage>

  </Author>
  <Author>
    Mohamed Barakat<Alt Only="LaTeX"><Br/></Alt>
<Address>
Walter-Flex-Str. 3<Br/>
57072 Siegen<Br/>
Germany<Br/>
</Address>
<Email>mohamed.barakat@uni-siegen.de</Email>
<Homepage>https://mohamed-barakat.github.io</Homepage>

  </Author>
  <Author>
    Simon Görtzen<Alt Only="LaTeX"><Br/></Alt>
<Address>
Simon Görtzen<Br/>
Lehrstuhl B fuer Mathematik, RWTH Aachen<Br/>
Templergraben 64<Br/>
52062 Aachen<Br/>
Germany<Br/>
</Address>
<Email>simon.goertzen@rwth-aachen.de</Email>
<Homepage>https://www.linkedin.com/in/simongoertzen/</Homepage>

  </Author>
  <Author>
    Sebastian Gutsche<Alt Only="LaTeX"><Br/></Alt>
<Address>
Department Mathematik<Br/>
Universität Siegen<Br/>
Walter-Flex-Straße 3<Br/>
57072 Siegen<Br/>
Germany<Br/>
</Address>
<Email>gutsche@mathematik.uni-siegen.de</Email>
<Homepage>https://sebasguts.github.io</Homepage>

  </Author>
  <Author>
    Vinay Wagh<Alt Only="LaTeX"><Br/></Alt>
<Address>
E-102, Department of Mathematics,<Br/>
Indian Institute of Technology Guwahati,<Br/>
Guwahati, Assam, India.<Br/>
PIN: 781 039.<Br/>
India<Br/>
</Address>
<Email>waghoba@gmail.com</Email>
<Homepage>http://www.iitg.ernet.in/vinay.wagh/</Homepage>

  </Author>
  <Date>
    6 September 2025
  </Date>
  <Copyright>
    ©right; 2007-2015 by Mohamed Barakat, Thomas Breuer, Simon Görtzen, and Frank Lübeck.

This package may be distributed under the terms and conditions of the GNU Public License Version 2 or (at your option) any later version.
  </Copyright>
  <Acknowledgements>
                 We are very much indebted to Max Neunhöffer who provided the first
             piece of code around which the package &IO_ForHomalg; was built. The
             package &HomalgToCAS; provides a further abstraction layer preparing
             the communication.
                    
  </Acknowledgements>
  </TitlePage>

Messung V0.5
C=93 H=99 G=95

¤ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Dauer der Verarbeitung:

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.