[Club2] Aktualisierte Einladung: Formalisation of Selected Results from Group Theory - Mi 26. Mai 2021 14:30 - 15:00 (MESZ) (club2 at mailbroy.informatik.tu-muenchen.de)
piller at in.tum.de
piller at in.tum.de
Wed May 19 09:59:15 CEST 2021
Dieser Termin wurde geändert.
Titel: Formalisation of Selected Results from Group Theory
Speaker: Joseph ThommesType: Bachelor's Thesis PresentationAbstract: This
thesis deals with the formalisation of some group-theoretic results in
Isabelle/HOLincluding the fundamental theorem of finitely generated abelian
groupscharacterising the structure of these groups as a uniquely determined
productof cyclic groups. Both the invariant factor decomposition and the
primarydecomposition are covered. Additional work includes results from
charactergroups, the direct product, the internal direct product and
moregroup-theoretic lemmas. (geändert)
Wann: Mi 26. Mai 2021 14:30 – 15:00 Mitteleuropäische Zeit - Berlin
Wo: https://tinyurl.com/ls21coffee
Kalender: club2 at mailbroy.informatik.tu-muenchen.de
Wer
* piller at in.tum.de- Veranstalter
* club2 at mailbroy.informatik.tu-muenchen.de
* joseph.thommes at tum.de
Termininformationen:
https://calendar.google.com/calendar/event?action=VIEW&eid=Nm9uNnY3MWtoZ2pnZjNjcm5zNnRnMTNub24gY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTI2YmFlYTcyOWI0NDE5OTViMzE4Mjg2ZGExOWRjZDViZmY1MjVlZmM&ctz=Europe%2FBerlin&hl=de&es=0
Einladung von Google Kalender: https://calendar.google.com/calendar/
Sie erhalten diese E-Mail unter club2 at mailbroy.informatik.tu-muenchen.de,
da Sie ein Gast bei diesem Termin sind.
Lehnen Sie diesen Termin ab, um keine weiteren Informationen zu diesem
Termin zu erhalten. Sie können auch unter
https://calendar.google.com/calendar/ ein Google-Konto erstellen und Ihre
Benachrichtigungseinstellungen für Ihren gesamten Kalender steuern.
Wenn Sie diese Einladung weiterleiten, kann jeder Empfänger eine Antwort an
den Organisator senden und zur Gästeliste hinzugefügt werden. Außerdem
könnte er weitere Nutzer einladen und Ihre Antwort ändern. Weitere
Informationen: https://support.google.com/calendar/answer/37135#forwarding
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20210519/30ed041c/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 2150 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20210519/30ed041c/attachment-0001.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 2194 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20210519/30ed041c/attachment-0001.bin>
More information about the Club2
mailing list