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>
    CoReLG
  </Title>
  <Subtitle>
    Computing with real Lie algebras
  </Subtitle>
  <Version>
    Version 1.57
  </Version>
  <Author>
    Heiko Dietrich<Alt Only="LaTeX"><Br/></Alt>
<Address>
School of Mathematics<Br/>
    Monash University<Br/>
    Wellington Road 1<Br/>
    VIC 3800, Melbourne, Australia<Br/>
</Address>
<Email>heiko.dietrich@monash.edu</Email>
<Homepage>http://users.monash.edu.au/~heikod/</Homepage>

  </Author>
  <Author>
    Paolo Faccin<Alt Only="LaTeX"><Br/></Alt>
<Address>
Dipartimento di Matematica<Br/>
    Via Sommarive 14<Br/>
    I-38050 Povo (Trento), Italy<Br/>
    <Br/>
</Address>
<Email>paolofaccin86@gmail.com</Email>

  </Author>
  <Author>
    Willem de Graaf<Alt Only="LaTeX"><Br/></Alt>
<Address>
Dipartimento di Matematica<Br/>
    Via Sommarive 14<Br/>
    I-38050 Povo (Trento), Italy<Br/>
    <Br/>
</Address>
<Email>degraaf@science.unitn.it</Email>
<Homepage>https://www.science.unitn.it/~degraaf</Homepage>

  </Author>
  <Date>
    7 July 2024
  </Date>
  <Abstract>
          This package provides functions for computing with various
      aspects of the theory of real simple Lie algebras.
      
  </Abstract>
  <Copyright>
    ©right; 2013-2019 Heiko Dietrich, Paolo Faccin, and Willem de Graaf
  </Copyright>
  <Acknowledgements>
          The research leading to this package has received funding from
      the European Union's Seventh Framework Program FP7/2007-2013
      under grant agreement no 271712, and from the Australian Research
      Council, grantor code DE140100088 and DP190100317.
      
  </Acknowledgements>
  </TitlePage>

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

¤ Dauer der Verarbeitung: 0.12 Sekunden  (vorverarbeitet am  2026-06-05) ¤

*© 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