<!-- This is an automatically generated file. -->
<TitlePage>
<Title>
walrus
</Title>
<Subtitle>
A new approach to proving hyperbolicity
</Subtitle>
<Version>
0.9991
</Version>
<Author>
Markus Pfeiffer<Alt Only="LaTeX"><Br/></Alt>
<Address>
School of Computer Science<Br/>
University of St Andrews<Br/>
Jack Cole Building, North Haugh<Br/>
St Andrews, Fife, KY16 9SX<Br/>
United Kingdom<Br/>
</Address>
<Email>markus.pfeiffer@st-andrews.ac.uk</Email>
<Homepage>http://www.morphism.de/~markusp/</Homepage>
</Author>
<Date>
21 February 2022
</Date>
</TitlePage>
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
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 ist noch experimentell.