Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quelle  title.xml

  Sprache: XML
 

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

<!-- This is an automatically generated file. -->
<TitlePage>
  <Title>
    HeLP
  </Title>
  <Subtitle>
    Hertweck-Luthar-Passi method.
  </Subtitle>
  <Version>
    4.0
  </Version>
  <Author>
    Andreas Bächle<Alt Only="LaTeX"><Br/></Alt>
<Address>
Vrije Universiteit Brussel<Br/>
Vakgroep Wiskunde<Br/>
Pleinlaan 2<Br/>
1050 Brussels<Br/>
Belgium<Br/>
</Address>
<Email>ABachle@gmx.net</Email>

  </Author>
  <Author>
    Leo Margolis<Alt Only="LaTeX"><Br/></Alt>
<Address>
Universidad Autonoma de Madrid<Br/>
Campus Cantoblanco<Br/>
Facultad de Ciencias<Br/>
Departamento de Matematicas<Br/>
28049 Madrid<Br/>
Spain<Br/>
</Address>
<Email>Leo.Margolis@uam.es</Email>
<Homepage>https://margollo.github.io</Homepage>

  </Author>
  <Date>
    29 February 2024
  </Date>
  <Copyright>
    ©right; 2017 by Andreas Bächle and Leo Margolis<P/>

This package is free software and may be distributed under the terms and conditions of the
GNU Public License Version 2.

  </Copyright>
  <Acknowledgements>
    The authors are grateful to Sebastian Gutsche, Christof Söger and Max Horn for endowing GAP
with a 4ti2-Interface and a normaliz-Interface.
We also would like to thank Gutsche and Söger for many very helpful discussions.
We also want to give credits to the developers of the softwares 4ti2 and normaliz.
Thanks go to David Avis for writing lrslib and answering our questions about it.
We moreover thank Wolfgang Kimmerle for introducing us to the beautiful world of group rings.
The development of this package was partially supported by the Research Foundation Flanders 
(FWO - Vlaanderen) and the DFG priority program SPP 1489 Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory.

  </Acknowledgements>
  </TitlePage>

Messung V0.5 in Prozent
C=97 H=100 G=98

¤ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet am  2026-06-07) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

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.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik